perm filename HELP.DOC[AID,LSP]2 blob sn#637557 filedate 1980-08-10 generic text, type C, neo UTF8
COMMENT ⊗   VALID 00017 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00003 00002	                     Debugging Aids in LISP
C00005 00003	                         THE LISP EDITOR
C00028 00004	                   The Backspace (BS) Package
C00035 00005	                         The BRAKE Package
C00041 00006	                        THE DEBUG PACKAGE
C00054 00007	                        THE STEP PACKAGE
C00068 00008			      Features and Meta-features
C00071 00009					String
C00075 00010					MACRO
C00080 00011			   Further MACRO/MACRODEF features
C00082 00012					MACEX
C00083 00013				       REQUIRE
C00085 00014					DIRECT
C00087 00015					  ET
C00088 00016					 MAIL
C00089 00017				 Line Editor Loading
C00090 ENDMK
C⊗;
                     Debugging Aids in LISP
                     --------- ---- -- ----




          The following is a description  of  some  of  the  more

     sophisticated  debugging  aids  available in MACLISP at SAIL.

     Covered in this memo are:


          1.  The LISP Editor, written by R.P.Gabriel and T.Finin

          2.  The Backspace package, written by Jonl White

          3.  The Brake package, written by R.P.Gabriel

          4.  The Stepper package, written by R.P. Gabriel and Tim Finin

          5.  The Debug package, written by R.P. Gabriel and T.Finin.

	  6.  Random debucging features and meta-features.

          In each casE, the  programs  are  FASLOADable  and  are

     locatedon the DSK [MAC,LSP] ufder EDIT.FAS, BS.FAS, BRAKE.BAS,

     STEP.FAS and DEBUG.FAS respectively.
¬

          In addition, the fIle  HEHP.FAS DSK [MAC LSP] can  be  FASLOADed
¬
     into  a  LISP  To  setqp  "autolh∂CHλ@Aa←%]aKeLAi↑A¬YXA←_AiQJ4∀~∀@@@AI∃EkOO%]NAMU]GiS=]fA[∃]iS←9KHAS8AiQSLA[K[<\@A)!K\X@↓oQK]∃mKd~(~∀@@@AC]d@A←L↓iQKg∀AMk]
iS←]LASfA
CYYK⊂XAiQ∀ACaaI←aeS¬iJAM%YJAo%YX~∀4∀@@@AEJA¬ki←[¬iSGC1YrAYα{πβ↔ ¬`hPQ!PPh bα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧α¬$λT∧dM:∧∧,$~Iu⊂h$∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα¬URjαUURjαUQRjjQQ hPQ!PRα∧∧ααα∧∧α¬&Tε&}MMw>NlpεO~⊂π6//∀ε↔⊗≤X	D
;]≤M|≥8u
≥{H≥
tλ≥~Tλ≥4lQ ¬⊂⊂λ⊂⊂7cλ:42P∪$ih⊂⊃p4z7\↔εEεB⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂&≠pr4w→P:42H"r4j≠yεE⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊗VVKVVVPVVP⊗KVVVVCE
     1)(A)<Aek\αβS#∃∧b&NA∧+∪'S⎇⊃1β?v)βO'oβ3eβ'KC↔Mα↓",I~BHh$∧ααα∧∧ααε|$ααDXI∃"αλitzJ∧∞FzαXFO"∧
FF*
_E\{|Y$];XnM;{@∧λSshD
|C"D∧λλλ∧∧λλ
λX∩5λish⊃Iyh⊂P*$⊃∀rd¬⊂ss$
T⊃b%∀≥≠h∧9~0~λ⊂:42H⊂3:w_z4wwβE⊂⊂⊂λ⊂⊂⊂⊂λ⊃#'gH⊂4w⊂→4v2P⊃'gW!⊂i⊂4gλ:42P→4y2q]7y<P≠q⊂!gSV)(#KεEεEλ⊂⊂⊂⊂∀W⊂∀⊃b$j∀H7y⊂∀⊃b$j⊂⊃'gTP≠y⊂∀"Q$j⊂#∪dπ FOO BAR) or (ADIT  FOO
         FOO  BAR DSK (COM↓%!∞R$AGC\↓EJAI=]JAS8A→∪'@OfAi!ChAQ¬mJ~∀@@@@@@AC8ACki=YP∨π βCK?ε+CSe∧3?Iα,"&Qd
GOε≥lrαDXI∃"J8↔/≡↑4π&FQQ J∧\M↔&␈$∞Fzε,TεJ¬Z=~,≥~>Y,D_;Y∧;]→.,9H¬λ1∩5ε∀∂→>∞πJ(∃m≥≠λ≠,≥y#"A∀∂→>∞πH≥~T≥≠|
L=Y3∧9~=≤[→(←≤≤Y.>z;{Ed
⊃1	~H∂∞l<OJ$∞z;≠↓QB(≠,≥y(


SqlD¬∀q5
∀∂≥X.'H∂_n↑\Y;ND≥X;∞\(≠yD∞X<OE∀∃
(∞M→(β!!(≥≠n
→=Y-D≥z~-L(
⊃(I5H¬λq5λπNX<ODπ~;Y
≤x=≠n'J*(∞⎇;≠λ
\:y(
≡∞C"A∀
⊃⊃(j∀St∧π≥X<Gd∂≥X-N9/HπM;Y~,<=≠|Ge+C"AQHλλ∧∧j+D¬⊃1∩*JH∂_.M{/J$9~=∞P:42H;0v:YP7s⊂∂0z7vO≥P:4→P2r4]:2r→|892\ytwwβEP4\P0qz≥pv6<H∀897YXP∀9Yz8P≡_z7v←λ≡;0v≥rP7sλ0z7vO∀P:∀KεEεEλ⊂⊂⊂⊂
∀W⊂∀⊃b$j(λ≡0z7[←⊂≡8≤7x∨∧H2r4z≤β the <prop> property of <atom>; the
	 actual edittedexpression is (defprop <atom> <value> <prop>),

              How to Look at the Current Expression (CE)
              --- -- ---- -- --- ------- ----------  --

     P        prints  the  CE  using  the  current  print   depth
              (sublist cutoff) and print length (length cutoff)
     PP       pretty-prints the entire CE
     PS       pretty-prints the CE using the print depth cutoff
     W	      prints the "window" surrounding the CE. Thus if
	      2, It prints The 2preceeding and2 foLlkwing
	      tokens around the CE, where "token" means expression oR 
	      parenthesis.

     (WINDOW N) 
	      changes the window size to n.
¬
     (PL n)   changes the print length to n (initially 5)
     (PD n)   changes the print depth to n (initially 2)

                         Changing the CE
                         -------- --- --
¬
     (CR E1...En) changes the  CE  to  E1...En   i.e* splices  in
                  E1...En), @¬]HA[¬WCfAQQJAπ∀A
b\4∀@@@@Q\A∀bP→9t+9%↓εqyA1∧∧6F∞l|W4≥~→$
K=~∧∧→;⊂∩[pp∞t kf  the  CE  @Q↑~∧@@@@@@@@@@@@@A
b\8Y\~(@@@@QP→α+	99:.q%↓βqaAβ∂F;∨↔~βS#∃∧q7S!∧+3↔↔,sQβ?2βS#∃∧~∃β≠⊗{5βSF(4)↓α↓↓↓↓α↓↓↓↓α↓↓↓↓αβ↔;⊃π#=α∃λq9:↔ph)↓↓α↓↓#9J↓↓↓↓α↓↓↓↓εqyAβ&+3↔S/→βS#*β97S@β↔3↔n+;Qβ|1βS#*α∞∀4R↓↓↓↓αC9%↓α↓↓↓↓α↓↓β9c↓1β∪.c↔S↔~βS#∃εq7S!ε+3↔7,sQβ≠⊗{5βSF)β↔; h)↓↓α↓αJ%α↓↓↓↓α↓↓↓↓εk?[↔~βS#∃π∪'∨#"βCπK.sS#↔≤KEβ'rβ?;∃ε+cCK/≠O'∨ph)↓↓α↓αJ=α↓↓↓↓α↓↓↓↓εk?[↔~βS#∃π∪'∨#"βCπK.sS#↔≡KEβ?/!β?;*β↔cC⊗+OO'}p4)↓α↓↓α2J↓↓↓↓α↓↓↓↓αβO'7LcπIβ&yαJ$hQ↓↓↓αα2=↓α↓↓↓↓α↓↓↓β≡K7'∪∂⊃βS=¬∩<4)α↓↓↓α$*2⊗R*↓↓↓↓α↓β∪↔d∧W&/4
FF*λ8Rαα
_	D∧≥~→$∧⊂q(∧
<hλ∞M→(λ∞M|≠⊃.l;β"D∧λλλ∧∧λλλ∧∧λλλ∧∧λ→6∞∞Y<|m≥{Kλ∞M→(⊃,M=≠|D<|⎇-\<h≥
=λ∃
(≥<l↑C"B!∀λ≥x-n≤h≥
t→9~.D_(⊃
≤YY4L]]λ⊃N]X⎇~-⎇H_;LD≤Y<.\<⎇≤g!"C"D∧λλλ∧∧λλλ¬];XnM;{H
l;9(πLZ;→$∞|→8m≤Z8x.M;{\ge.C"AQHλλ∧∧∃~→$;\⎇l↑H_x-d_Y(
|H≤y.l<X;∧[|[.7hλ→/;<≠↑nC"D∧λλλ∧∧λ*$∧⊃Ssd¬(≠≠l≤≤h⊃Iyh→\M⎇(_sn,#"H∧∧λλλ∧∧J(∧¬⊃SsdλSshλ(4J(¬T≠≠x,Nh⊃Sit→\[mT⊃SsehP4C!$λλλ∧∧λλe∀λ
⊃Iyh⊂P*$⊃∀rd¬⊂ss$
T⊃j%∀(≠
|9≤hλish→N-{(λλiskPH~Hλ~-a"Hλ∧∧λλλ∧∧λλλ∞M→(→
≡Y8⎇
}↑(≠ld⊂ss%JT⊃kAQHλλ∧∧λλλεE(λ∪HZh(⎇=Y<d(→\L↑zλ≥
};→.l;λ→/∞≤Y<n=;{C!$λλλ∧∧λλ
%∀λ_{NN[1d¬(≤=-≡≤h_L≤zh≥
t≥~→$λ9~=
}H_{m]8;Y∧→8{lL<C"D∧λλλ∧∧λ
J$∧∃3Q	t(∂∞<9(_L]≠⎇oEa"C"D∧λλλ∧∧λλλ∧∧λλλ	]⎇Z;Lt_<[n]Yλ≥m≡~~;D∞~→(λ←≤≤Y.>z;{AQHλλ∧∧λλλ∧∧λλλ∧∧++%U+(%U+++$¬+++%U(+%T++%U+++%U#"C!$λλλ∧
Hλλ∧∧λλλ
gLλ≠,≥y<h∞M→(≠L↑h⊂q$∞~→(
e=~λ]→;9-nλ≠yD∞~→(λ8#"H∧∧λλ≠D∧λλλ∧∧λ≠Oε¬λ≠8-<<h≥
(≠Y.t⊂q(∞M→(≠E↑~λ→-L;9;ND→\[mT≥~→$;Yβ!$λλλ∧∧λλλ∧∧λλλ
|H≥~T⊂q#!$λλλ∧Hλλ∧∧λλλ
\:y<d∞~→(λ8(≥~T~;;,\~8=T≤_<L]]λ≠ld≥~→$λq#"D∧λλλ
Itλλ∧∧λλ≠,≥y<h∞M→(⊂hT≥~→$∞≠|≠↑Y;λ←≤≤Y.>z;{AQHλλ∧∧∪Vλ∧∧λλλ∧
8:y.4≥~→$λq(≥
(≠Y/∞λ≠{LT_9]↑H≥~T⊂q#!$λλλ∧λRhλ∧∧λλλ
\:y<d∞~→(λ8(≥~T≠{Y$Y9[n,(≥~T⊂q#!$λλλ∧	04Rd∧λλλ
\<Z|d∞~→(><\Y-nλ≠≠l<=~;md≤{h∞M_=
≡λ_x-d_Y(	*34→,A"Hλ∧∧λλλ∧∧λλλ∧∧≥≠h/(≥~T_{{-\;Yλ	*34D∧∪[uWHλ∪(~Rz;Lt_;Y∧	U34
≥Yc"D∧λλλ∧∧λλλ∧∧λλ~.∀≠[⎇∧⎇8<L≥]→9,Dλ≥≠d∧≥{|M∀λ~;D∧_;≠∧∧_x<l↑kλλ∞=;Xy!QHλλ∧∧λλλ∧∧λλλ∧
;y~,m8x=
≥{Hλ
|Hλ≥
(≥~
≥Yh_L];Yh\~=→,D_x;D∞Y;Y↑C"H∧∧λλλ∧∧λλλ∧∧λ≥~T∪04I4≠98-m;Y{↑|kC!$λλλ∧	U34∧∧λλλ
.;<≤d∞≠h≥
(≠_.>λ∪0*)y9λ
Mxx=
≥{C"D∧λλλ
YS04I4λλ→M}Yy=∞4λ≥z↑Y(λ∞M→(λ
L<⎇λ∧	04Rd∧≥x<d∧≤y=∧∧λ
≤n99≤aQHλλ∧∧λλλ∧∧λλλ∧>→8n↑~;{E⊃"C"D∧λλλ∧∧λλλ∧∧λλλ∧∧λλλ∧∧λ⊂9M;Y`λ←≤≤Y.>z;{N1"Hλ∧∧λλλ∧∧λλλ∧∧λλλ∧∧λλλ∧¬+++%U(+%U+++%U++#!$λλλ∧¬⊂(≠Dλ,+KEh;J(∞∞=≤hλV+KKH]H_9NL<H∃
(≠C.Mλ→;]9;]∧
yH≥
(⊂q!QHλλ∧∧
⊂H
d⊃,+EeQ;B$∞≥=≤dλ,+KEh;H_L\[|Y$∞~→(
e=~λ]→;9-nλ≠yD∞~→(λ8#"H∧∧λλ
λ→(⊃,%eKQ;E∀λ≤≥.Nh⊃,%eKQ;D9]→.$≥~→$λq(_-lλ≠8-<<h⊃&∀≥~→$
Y=hλ8#"H∧∧λλ
λ)(⊃,%eKQ;E∀λ≤≥.Nh⊃,%eKQ;DY9Sn,(≥~T⊂q(≥Yλλ
\:y4d∧⊃, ∧∞~→(
l=h⊂hQ"Hλ∧∧λ
∀D>≤$>≤E∀≤Y<
L8y<d;≠λ
|x⎇<N;Xp∩\β of exp1↓oSiP↓Kq`dAS\AQQJAπ∀XAmS∃oKH~(∩∩@@↓CfAB↓YSgh0AeKiUeUfA9SX}A%HA]↑↓←GGkIaK]Gα+@~εmzVv Q$ααα∧¬¬%∩[πβ
X∞∞εJ<Y.
_8q.P0v&λ5qqj\92w1YyP7cλ2|8_H;tz4λ2|8→λ⊂4w⊂≥42P!QT⊂;4Y{rrεB∧DP⊂λ0yP0H:92rCEαE⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂#4w→4w3@ Expressions  ⊃R9J\AG!C]OS9NAiQ∀Aπ
R4∀@@@@@@@@@@@@@@@@@@@4ZZZZ4Z@ZZ4ZZZZ4ZZZ@ZZZ@ZZZZ4ZZZ@4ZZ@Z4~∀
∀@@@@!AaCPR@@@↓MS]ILAiQJ↓]Kqh↓←GGkIeK]G∀AWL@↓aChXAgKCIGQS]≤@AS\4∀@@@@@@@@@@@@Aae%]hA←IIKd~(@@@@Q¬AAChR@AMS]⊃bAiQ∀A]KqPA←GGUeeK]
JA←LAaCh0@AgK¬aGQS9J@AS8~∀@@@@@@@@@@@@AS9mKegα)βCKNsQβ?⊗#↔H4R↓↓↓↓αB→βC∂!αQ%αβ≠'≠'→βS#*β;↔c"β?∂∂/∪K↔;≤∧Rε}d∞ε∂".W"εM⎇v@>h_=∧∞~→#!$λλλ∧∧λλλ∧∧λλλ∧∧≥≠|
]|⎇λ∧;→;,]]≤h∧
yHλ∞M→(λλ8(λ→M≡\⎇λ¬∞<y1N]λ→[n!"Hλ∧∧λλλ∧∧λλλ∧∧λλ→l↑≥~;Lt≥≠h

Sqh∞L9|j!QHλλ∧∧
⊂QD∞_=⊂∃∀P9t[tr0yλ:7P0X7{2FB⊂⊂⊂⊂λ∀#⊂8_z⊂7∀H⊂34g→9P:4→P7⊗z~⊂7qq]y92w_rP7cλ80zεB⊂⊂⊂⊂λ∀!#⊂≤0z⊂7
P9tvZv0y≥7P0q≠{2FEλ⊂⊂⊂⊂⊃⊂⊂⊂⊂λ⊂⊂⊂⊂λ34w2≤P:42H72|:λ⊂7qq]y92w_rP⊂7Y⊂⊂:4→P⊂60\z⊂⊂9Ypy1tβE⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂80]82y7βE⊂⊂⊂λ⊂!#⊂λ⊂⊂⊂⊂λ⊂⊂9t[tv0yλ:7P0X7{2FBεEεEλ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂(_z:2y≠9FE⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊗VKVVVVKFEεEβE⊂⊂⊂λ⊂⊂⊂⊂λ⊂(0z⊂0yP≥yrr_q7{"K⊂1pwλ1ww:_tw⊂0[<P7cλ:42P→7v67]tw3MβE⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂"f→vrw:λ5s⊂8_z⊂⊂⊂λ⊂⊂⊂⊂λ+t0zλ4z⊂ -atches
           ------- -----         ---- -- -------¬

           atom                   atoms EQ @Q↑ASh4∀@@@@@@@@AYSMh@@@@@@@@@@@@@@@↓GCYYLA[Ci
QKdAIKGkeMSmKYd~∀@@@@@@@@@}@@@@@@@@@@@@@@@@ACMr@ACi=Z@@A=`@@AMS]OY∀@@AY%gh~∀@@@@@@@@@@@@@@@@@@@@@@@@@@@Q$]J\A¬\Af[∃qaeKMgS←\$~∀@@@@@@@@@␈`@@@@@@@@@@@@@@@@AC]rAKYK5K]hv@AES9If@@␈0@@↓i↑~∀@@@@@@@@@@@@@@@@@@@@@@@@@@Ao!CiKm∃`ASh↓[CiG!KH~∀@@@@@@@@T@@@@@@@@@@@@@@@@@AC9r@@A9←\[K5air@@AgiIS]N@@A←L4∀@@@@@@@@@@@@@@@@@@@@@@@@@@@↓KYK[∃]if~(@@@@@@@@@U0@@@@@@@@@@@@@@@@A5CiGQ∃fACfTXAEUhAES9If@@)0@Ai<~∀@@@@@@@@@@@@@@@@@@@@@@@@@@AiQJ↓YSgh↓←LAK1K[K]QbASh↓[CiG!KH~∀@@@@@@@@z␈0@@@@@@@@@@@@@@@Ao!CiKm∃`@␈0↓[CiG!KHAY¬ghAi%[J~∀@@@@@@@@zU0@@@@@@@@@@@@@@@Ao!CiKm∃`@U0↓[CiG!KHAY¬ghAi%[J
∀@@@@@@@@Q%πQ%∪π(@}@@↓ b\\9!\R@↓C]r@↓KYK[∃]h@AMCiSg→sSMNAiQJ4∀@@@@@@@@@@@@@@@@@@@@@@@@@@@↓aeKI%GCiKLA bX8\\Y!8~∀α@@PI$}A B8\]!\$∩@Ag¬[JACLACE←YJ\~∀@@@@@@@@Q%πQ%∪π(α↓}aαβ	19:εq%↓β≤K7'L≡"π&tλ⊗⊗␈lTε↔/D∧ε⊗NlN2αβ{↓PRα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧π&@h≥z≡λ~5∧
8=_m9C!↓(λλ¬∧α)⊂∨V⊂(_@...Pn		  sama as above.
	   (⊗R  ...) 		  same as ( 	$@8\\R~(∩@@@ I$@T↓ b\\9!\R∩AgC[∀ACfA¬E←mJ↓EkhAQQJAYαKGQβ&CπQ↓Rβ7πS≡C↔L4PH$$¬αβ7WO"βGπSO≠∪eαβ	199uβ984PI↓↓↓B"I↓*BαAE9rrC)$J↓βO'nK3πI¬#=βπ⊗{[∀4PI↓↓↓B"&I↓RαAE9rrC9$J↓βO'nK3πI¬#=βπ⊗{[∃β,πε≡/∞Dπ&F≡@λ

(~0→H0P89→r4qp]2FE∧BD@P⊂≥40z eachelement oF * must satisfY.
α	   ($IR *X ,∧\\R$∩@Ag%[S@3∂⊃βS=ε?[(h($	α↓↓↓↓α↓↓↓αv{S∃Iα↓"¬↓⎇Aα&M∧	↓}aJβ7πS≡C↔M↓F	β←?⊗!β'Mαβ¬↓β>{K⊃%αβWPhQ↓↓↓αβ;?QαC¬β←⎇∪⊃β'~β¬βO.sS↔;≤∧RJR∧
6NnL≡&gJiwαα¬+αεO4∩αU¬∃`hPβ"H∧∧λλλ∧∧λλλ∧∧λλλ∧∧λλλ∧	9][m≥9Y`∞M→(∪,≡_z→.↓ Hλ∧∧λλλ∧∧λλλ∧∧λλλ∧∧λλλ¬U+++%U+(%U(#%U+++!Q@εE⊂λ⊂⊂⊂∀∪`j!dλ80z)               atteMpps To match pat against the CE
α     (MATCH↓aChAYCdb@8\\Am¬a\RA¬iaK[AifAi<A[Ci
PAaCPACOC%]ghAβ##∀∀PH$%↓α↓↓↓↓∧~∃β←FK3∃β⊗+SππvK;≥β&C∃β[∞cW/4	v $≥~→!Q@""$∧λλλ∧∧≥X<M≤8[⊃.P;0yT⊂∞.., varn. (E,¬N\@4⊂∩α∩@@@@@Q6
"≤B¬↓"αT∀¬$$∂p ∀H∃ P∨PTWεEλ⊂⊂⊂⊂∪`j!dαDP⊂⊂λ⊂⊂⊂ ]8∧empts to match the hac@PAaChαβπ>≥≥g∨"∞Mε(h!⊃⊂Jα∧∧αααλ8Rb∧M≥6*∧dλ⊗v"λ(bε∞-}f*PQ$ααα∧
$,@05⊂i↓ (λ∧∧λλλ≡≥→3.∞≤h⊂~≠P3r`4 the next matcH h∂LAAChAC≥CSMgP~∀$HI↓↓↓α↓↓βSF)α∞∃pαWOW∞c3eβ&C'Mβ|¬fgJ
\⊗↑/4∞6.w<TεN0β"B!⊃(λλ∧∧λλ≤≡λ_p↔[80tw≤P9wfYP⊃⊂+_y0	ables.
λ     (REM.,varn.


                       Hairy Eatching UseS
                       ----- ------------

α     (PR pat)         repl@¬GKfAQQJAπ∀AoSi AiQJAS]gQC]iS¬iS←\A←L~(@@@@@@@@@@@@@@@@@AaCP@@QgUEgiSQkiKf↓iQJAYCYkKLAP∨→βy7[π⊗Kπ3-_4)↓α↓↓↓↓α↓↓↓↓α↓↓↓↓α↓↓↓↓ε;⊃↓Rk[πKL#↔~H4)↓α↓↓↓"∧	β)αβ	99:εq%↓↓¬≠'7'fIβSz↓"¬βp∧∧+
ead.r⊃Q"αα∧∧αE∧$λD
+@↔αPn)   siMilar↓iV@QλAP→α+	19:.q$4	α↓↓↓↓Eαε%αβ	19:εq%↓↓αβG']_≡H≥≠d¬⊂2(λV+KCH]J#"D∧λλλ¬
∀P ⊂→|8_@≤0z∀Pλ⊂9t`-ilar↓iV@QHAKq`DAKq`HR~)α↓↓↓↓E"BJ¬∧∧WGβ∀
ε∂"∀∧π∞N]→F∂∩∞MrαEJ ε/Gε⊂ε/Gε!⊂hPQ$ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧∧␈&Z"∧≡⎇]V∞vN1PRα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧αααUURjj¬URjjUURhh!Q"αα∧∧αE≤~hRε6≥LVv∞\Tβf←∞M⊗}v≥Dε/GGe↔∞∂lZ2π&Tπ&←
HW6.D∧ε/G∞,W∨≡≥⎇`hR∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααε≥dαπ&Tε6NLTε>Ol]bε↔∀
FF*h
-L#"H∧∧λλλ∧∧λλλ∧∧λλλ∧∧λλλ∧∧λλλ∧∧λλλ∧∧λλ≤n8|h¬∞z;≠∧|Y8.L(λ→M≥→<h∧
[⎇β!$λλλ∧∧λλλ∧∧λλλ∧∧λλλ∧∧λλλ∧∧λλλ∧∧λλλ∧>~<nL;]
%Dβ"H∧∧λλ∀h~Q""!∀λλ≤l≡Y<h∞M→(λ∞M|≠→.l;λ→/∞≤Y<n=9{C!!"""$∧λ~;D∞~→(∧Z;→$
_<⎇∧∞x=P∩Y⊂4w↔λ$sεEαDDDPλ⊂:42\2P;p\P77w→V⊂:4→P34v→P9x2XWεE∧BDDP⊂λ4yP9→xzry]2r↔εB⊂⊂⊂⊂λ∀)"c∩f"P#∪gP≡3~v2P9\2qy←
P⊂⊂⊂λ92x6_qryP≥42P3≥w1z4[w⊂⊂#∪eP⊂4[εE⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂:4→P⊂34[2P⊂3Z{2w⊂λ1<P⊂≥42P3~v2FEλ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂≤x2qyH;tz4λ⊂:40]⊂⊂37]w2⊂⊂≥w22yβE⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂:42H⊃290Y:⊃⊂8≤7x2y≥<P7sλ#'gFB∧DDDH⊂⊂;t→y2P≡→4v2P≤x2qyO⊂4yPλ7s⊂⊂≥42FEαDDDPλ⊂37i≠P∀34[2P≡7\:4ww_v⊂2|≥∨∀WεB⊂⊂⊂⊂λ∀)"c∩d"P∀⊃'gXW↔#'g[∀↑34[2P9x→qy←∀CE∧DDBP⊂⊂9Zvtv0\⊂:7P_q7{2H1:z⊂≤2s4v→yFE⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂#∪eXW↔#'gwεE⊂⊂λ⊂⊂∀)⊃c$f"H∀#'gLW↔↔#∪gw∀↑~w34v→P9x2Xy←≡7]z34f→P9x2Xy←∀FB⊂⊂⊂⊂λ∀)"c∩f"P∃λ≡4w3~v2←≡≠x:4w[0v⊂7]z34f→←∀P:\20z2\P2{2\<P3:[1z4w[εE∧DBDP⊂⊂~w⊂⊂4[34v2K⊂⊂⊂'≠z2P⊂λ:40zλ⊂:42HεE∧DBDP⊂⊂≤x2qyH0y2P_yP34[2P9x→qyP4[⊂:42CE∧DDBP⊂⊂;_w4v6_P92s~v2P0X7{2WβEεE⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂9Zvtv0\⊂:7P_q7{2H1:z⊂→4v2yH:42FB⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ92yz[:⊂4wλ:42P≠zz34[2FE⊂λ⊂⊂⊂)⊃dbfa⊃i⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂8≥z9P:~2P⊂:≠x62{→v⊂⊂2↑892y\twwεB⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ:w22\⊂⊂⊂:~2P⊂⊃→90s:λ⊂⊂89≠x2y:≡FE⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂∀8≤2yry≥2yP⊂⊃"c*gλ⊂37y≠pz⊂⊂_w2εEλ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂_wvvr[:9TFB⊂⊂⊂⊂λ'eP⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ)"fbSa"i∪\P⊂0w→⊂⊂⊂"U f∪yH⊂⊂:4→FE⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂:7\62{2[⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂2|≤92yyZwwεEλ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂
4W2Wλ22s$[2yP:~2P3*[1z4w[⊂⊂0yCE⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂;rv≠⊂0yP≤2vrvX2y9P~z∀FEλ⊂⊂⊂⊂
!gffQg*⊂*
P⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂_v67{\P1wv[rw:9H:7P1→P⊂4wλ⊂:42CE⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂:7x≠2{2fλ⊂2|8≤2yyt[w⊂∀:\ryP:~2FE⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂3\4w2ε\2pr⊗]0q62JFE⊂⊂λ⊂⊂∀!Sffbg∃⊂'$f
P⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂24\pq62\β above
     HELP                          either    provides     heLpful
                                   infOriation oR confuses you

                        The Undo Feature
                        --- ---- -------

α          The Editkr allows the user tk "undo" any editine he has
     done.    Thus  ib  he  haq  made  a  mistace  or  qieply  is
     experimenting, he can Invoke the undo feature to  undo  eAch
     step.  @o@]KmKd↓iQJAU]I←KHAeKcUSeKf↓BAQSMi←er↓←LAi!JAKI%hAi↑4∀@@@AEJA-KahA¬]HAg<AkgKLABAY=hA←L↓gaCG∀X@A¬∀AoCe9KHB~(~∀@@@@Q+9	≡A($@@@A∃]CEY∃bAk]⊃←S]N4∀@@@@Q+≥⊃≡A\R@@AK9CEYKL@Ak]⊃←S]NAoSi @A←]1r@Ai!J@AY¬ghAk9IWCE1J@~∀$∩AG←5[C]ILAEKS9JAgCYKH@Q%]SiS¬YY`%β11$Q$ααα∧¬¬,tIt∧dLE∀αε&≡8⊗⊗F↑4π.vMy⊗v:≥f"εmJW∞F↑4π&FT∧π.vMz↔.=9(¬∞~→#!$λλλ∧∧λλλ∧∧λλλ∧∧λ~~.≡≠|↑%⊃"Hλ∧∧λ∃3HIhλλ∧∧λλλ∞]Y≠q.P:42H60qjλ1wvvXw2↔λ)zq`#essiVe UNDO's @]SYX~(@@@@@@@@@@@@@Ak]⊃↑Aae%←dAK⊃ShAG=[[C]⊃f\
∀@@@AQQJAMα{3#?>K;≥β≡{77πv#Eβ∂∞qβ∃π+;∪?v)h$)α↓↓↓↓α↓αyα$zAαJJαJ=αdIα2≥∧raα
Zα
	α$*2⊗R*α→α>X∧¬∀,XYT∀-$∧αD≤yYT,UAQ"αα∧∧ααα¬U∩αD∀¬RJαλ αjJ¬
"αj∀¬¬∧
¬Q∩αEλ αjJ¬
∧J¬Q∩αEλ)∩αj∀¬¬∧b¬U⊂hR∧∧ααα∧∧αE∧D¬RJα

$
αU∀αD∀d¬RJαλdαjJ¬λ5∩αU∀αE¬$¬RJαλ→∩αj∀∧αD∀∀∧αjHQ$ααα∧∧ααα	dαjJ¬	bJ∧d¬∧,%λ)t:αU∃`hPβ"H∧∧λλλ∧∧λλλ∧∧λλλ∧∧λλλ
∞[y|L≥;:;Lt≥~→$λ9~5
}C"H∧∧λλλ∧∧λλλ∧∧λλλ∧∧λλλ¬U+++%U+++%T++$¬+++%U#"C!%JJJE$⊃[≥.=→9ε⊗KmfvH
JE%JC"D∧λλλ¬λ1∀∀Ixh∃
$∧λλλ∧∧λλλ]X8[↑h≥~TλH≤L\9;,≤|[c!$λλλ∧¬⊃1∀
)qh∪I→λ(λ∧∧λλλ∧~<x,-→<h≤[⎇Y!QJJJE%Hλ⊃-lλ∪yDλ[≥<m∧λλ
E%JJC!$λλλ∧¬⊃1∩*Hss3(→Qλ⊂$λJ(λ∧(⊃Q+
∀H∃m
8zλ≥≠≠⎇n∀≥~→$=≠{$λ(≥≠d∧≠98-a"Hλ∧∧λλλ∧∧λλλ∧∧λλλ∧∧λλλ∧∧λ⊂H
≥H≥~T⊃9~.M|KH∧λ[|H
≥\⎇_-ly+β!$λλλ∧∧λλλ∧∧λλλ∧∧λλλ∧∧λλλ∧∧λλλ∧¬⊃1∩*Hss3(→Qλ∪λYH
∪λYQu∩∧∧(pq%∃#"H∧∧λλλ∧∧λλλ∧∧λλλ∧∧λλλ∧∧λλ≥]≠≤h∞M→(⊃,M=≠|D∞~_=∧∞z→;D∂;⎇(∞O<→(∧	⊃3C!$λλλ∧∧λλλ∧∧λλλ∧∧λλλ∧∧λλλ∧∞≠hλ
≡λλ∞M→(λ
L;Y⎇
∧λ≠yD∞~→(λ8(~4d∞≠h_LQ"Hλ∧∧λλλ∧∧λλλ∧∧λλλ∧∧λλλ∧∧λ≤Y.
|]→,EC"C!!(λ∩.D~<h∞
||z,-→(λ∞Mh≥|M≡→(∪	~tλλ∞∞[y|L≥<h≥
t→≠h∧9~=
≥YnC!$λλλ∧
{Y(<;H_l≡<y(∞M→(λ\~=≠n$≥≠h↑X;≥,≡→(λ∀_{{-\;Y/(λ≤l∨:;Yg! Hλ∧∧λ
	(ZP3∃(~⊃(⊃/∞
+λ∧∞z→<LTλ→6∞∧λ≠=.>λλ⊃*h3λλ∞Mhλ_$∧≥X;
≤λλ→,M=β"D∧λλλ={;8-lHλλ∀λ≤z-↑≠→(∞|>(λ∞Mh_8L.Y=Z,≡→(λ∞M→<q$x;≠∞∀λ≥≠d∧≥~→!QHλλ∧∧→9~.Mβy⊂4\P⊂:7H⊂22s~w2P0H⊂92pY⊂⊂6pXy7P+Z4qt⊂λ2|80[29P⊂≥5P⊂:~2FE⊂λ⊂⊂⊂2→yty2Y⊂1pv≠↔εEεB⊂⊂⊂⊂λ⊂⊂⊂⊂λ'w2Pλ6p|Pλ0v9wH⊂40{→P⊂0wλ⊂4w4]4pv$↑0z4g[⊂⊂34[2P⊂⊂_pv62YεE⊂⊂λ⊂⊂"b∩j⊂∞INI which wilh be read when the E`itor is being loaded.
     This file can either contain functions like any  other LISP
     fiLe or LINKTLεAgi¬iK[K9ifXAβ;#'∂BβπK∃ε{⊃βSF)β≠?⊗ih4(hQ↓↓↓α↓↓↓↓α↓"2&tZR=↓Cc≠'3/≠C↔
q%!s4K3↔Oε+
IyJq99$hP4)↓α↓↓αSFKEβO&S↔7.sQβ←Nc1β∂∂+O∃↓¬##∃↓∧+∪'S␈⊃↓βSz↓βK↔∞!↓βSF)↓β≠L¬F/_Q$ααα∧∞7ε.=≤fN.D∧εNr
xLL<K@∧λ];XnM;{\d;Y	I3Ru	@P9z0]2vrw≥9P6p↑P12FB⊂⊂⊂⊂λ4w:2\9x2i≤pr↔λ'7P#⊂ib'`Q9P6p↑P7qq]y⊂4gλ⊂:42H⊂4w4]4pv$↑0z4g[εA⊂⊂λ⊂⊂34[2P77\⊂4w⊂_w<P7Y⊂:42H34v2\β @→∪9↔!∨K⊂\~∧@@@@@@@Aα↓]SGJAgkEMKhA←_@AC\A	∪PX
&:J↓β≠'d)↓β∂∞q↓β*βOπ↔p∧αεNaQ"αα∧∧∧,$~EdLu8→∀"e*λujα∧∧ααπ⎇
⊗≡B∧∧ααα∧	↔4λλλ∧∧→≠pn]9;]\λλλ∧∧λ~;AQHλλ∧∧⊃P4iX0kQ	xvp2(E∀T⊃kUHλ⊂L≡z8x-M≤∧P$]⊂⊂:yYyP0@~5pur↑P30y]⊂⊂92XrεE⊂λ⊂⊂⊂6Xqy7P→0qtf~z8P !nd  alhows one th∞AkMJ@Ai!JAG←9ie←X=[CiB↓SKsf4∀@@@ACfA→Cgh@↓[CGe=fAi↑↓I↑ACQ←[SF↓KISh↓G←[[¬]IfA]SiPA∧A[S]%[kZA=H∩∀@@@AW∃rAgiI←WKf8~∀
∀@@@@@@@AQQJAMα{33?>K;≥β>c?πbβ[πKN3↔~βπK∃π+O↔≠.a`4)α↓↓↓↓α↓∃∞∞*↓↓↓↓α↓↓↓↓α↓β∂?w#π';~βS#∃∧~∃↓βo+;∨'v9βS#*α∞∃βo+OQ↓ε∪∃↓β&{;∀4R↓↓↓↓α↓↓↓↓α↓↓↓↓α↓↓↓↓α↓↓βW≤K;≥β&C∃α↔&KS ?%⊃PRα∧∧ααα∧ZD⎇αXXDM"β16
∧λλ⊂m⎇]_:-nh≥~T≥≠|
L=Y0⊗λ2|89→yyt`/n
α       %#UNDOH	∪'P@@@@AG←]QCS]f↓iQJAU]I←Y%`∂P4R↓↓↓↓α↓↓∃∞,r∩>~d
≥↓↓α↓↓βS.c3Mβ>C↔S#-⊃β?I¬K?UβN{Uβπ⊗)β'9¬##∃β.s∪=βn{∪∀∀Ph)↓↓α↓↓↓↓α↓↓↓↓α↓↓↓↓α↓↓↓↓αα↔c'&K;≥β∞s⊃α↔&→8 ($∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧αααUURjjUTαjjT¬RjhQ!PRα∧∧α∧-	~Bαα∧∧ααα∧∧ααα∧∧αε/
≡G
πMR∧.M≡F␈∩¬∞FzπMR∧d~:απ&}	F/6]E⊂hR∧∧αααλXDM"α(λ∧∧λλλ∧∧λλλ∧∧→y=∞∀≡;⎇$X8zd∞≠h∃
(⊃9
≡≠|C!$λλλ∧¬∀Q3(X∩5
$∧λλλ∧∧λλλ∧[≥<m<h≥
(⊃9
≡≠|KAQHλλ∧∧⊂;↑$
⎇~→.$_{{-\;Y
≡h~_-l→9λ∞Mh∪∩*:λ≥≠dY(⊃*h3	y,EC"C!!"@                   The Backspace (BS! Package
                   --- --------- ---- -------

          Thiq package, written by Bonl White at the  MITAI  Lab,
     ipεAkg∃IkXAα3?Iβ-CC3?⊗K;≥β&C∃β↔w3'K∨vk↔;Q∧¬v $_(∪	~tλ→.∞Y|Fd∧~=β!$λλλ∧
8:y.∀≥<q$
yH∃
(⊃5H→⊃PP)X(→P∩Xz:y2H27qz[pp∞ted inthe MACDISP	∀@@@A%∃IKeK9GB@A5C]kC0@@AMβ∪?5βF+K∃β|¬bπ⊗\hWπ⊗\@π&@h_<d∞~→(∧)00s	~tβ"D∧λλλ	\;]8-DJ+C!↓ Hλ∧∧λλλ∧∧λ∃z]H≠p↔→P4yP~w⊂:4→P∀∃)∀bj⊂*
P6w`$e, areco@IHASf↓W@↔C ∧αε↑aQ"αα∧∧π&FTλf␈⊗↑4ε∞vD&NvM≥f*ε]nfO⊗⎇mV.wN4π>F≤=αεF\≤Bπ&tλ

(_p~\92w:βE⊂⊂⊂λ⊂2w;~y77fYw:↔  whe@8ACLA∃`K?⊂∧ε}≡>Z'4≥~→$∧⊂Th∧];XnM;{\d∧_;∪
}c"H∧∧λλ∃
(λ∃.<<H∃
t→>_-]8π2P≥47yrH2w;4\7w6r[:9P+Zz47z]⊂52w\0y24↑4s3FB⊂⊂⊂⊂λ:42P_zy92[:⊂9z_z2Wλ*42P⊂)P3*[1z4`/ns can be lh∂CI∃HAEr↓I←S]≤t~∧~(@@@@@@@@@@@@Q~ε≤b>ε⊃∧∩Mα~
→ααNZ↓"6ε~α2NAJH4(∀R↓↓↓↓ε;⊃βO→β';LεFN∞M∨&."/∪Ph!Q"αα∧∧ααα∧∧ααα∧∧αE≤ZJUαHQ!PRα∧∧απ>
_6Bπ∞↑G
∧β∩4j∧~;@∞M→(
¬*Tq5∧¬⊃Su*Yh∃α%∀≠;qUC"C!$λλλ∧∧λλλ∧
z→;D(_\L\:h∪l<⎇<\eD≠{Y$x;@
≥Z=~,≥~>Y$∞~→(]]Z0→≠w6rg≥∧A⊂⊂λ⊂⊂9z_quP+Zz4≥εBεA⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂∀!∀P'$f
U

     At This point one Can start backspacing;   succeSsive  calls
     to  (BS)  wilhλ@AAeS]hAiQJAM←e4AoQ←MJAKm¬YkCi%←\AGαWO↔ βS#∀hQ↓↓↓αβ↔[πg+πS'}qβ/→π##∃β≥+KK↔w!β≠?⊗i9↓αn{K↔?6+I1β&C∃βC⊗K;S↔ ↓β≠?⊗h4)↓α↓↓β'~βOS?⊗+⊃βπ~βS#∃π3π3W*β?→β&C∃βπ&{5α
~p4(∀R↓↓↓↓α↓↓↓↓¬≠WCC␈≠∃βSF)βK.-β#∂→β↔.qβ∂π/≠↔⊃β⊗+∂πW≡)βS#*βπS?h↓↓a⊂h)↓↓α↓β'MαβW;␈+;⊃mα↓βS#.q↓βSF)β↔[∞cWπSL{9β?2↓	"
~α2&1J⊃β←'faβ∂π/≠∀4	α↓↓↓β&C∃β≠|c3/←Ns≥βSzβ∃β¬∪';S.!h4(hQ↓↓↓α↓↓↓↓α↓↓↓↓α↓"εB∧be↓5⊃UM]≠!U]QαB⊗Zεd2Jε6*↓":&bI%↓5;⊃U]M⊃9Q]%h($)α↓↓↓α&C∃β;-CQβ↔63Wπ&K?9β|1↓"
~Iβ←'daβ∂π-≠∃h4Ph)↓↓α↓↓↓↓α↓↓↓↓α↓↓"⊗4
1↓5→AI]≠!YAMαB
M∀¬S;∪Vv3∪;Fu∩h!Q"αα∧∧∧}vT
V␈⊗T¬∧∃~↔!PPh$∧ααα∧∧ααα∧∧ααα¬λ∃¬∧K∀αk6FS;≠FfC2α¬9∀u$Z)dbZX%2l*(TZ¬¬¬BJ∃∀αrr⊃Q hR∧∧αα∧m≥f∞fO∀αD∃5∀πNN]LG≠PQ!PRα∧∧ααα∧∧ααα∧∧ααDZh∀bαV⊗3;∪v6C3;4ααkvVS;≠&vs*HQ!PPh$∧ααα∧∧ααα	≥bπ&Tε∞⊗}hRε6}-W~b∞Mε*εm≡'∨"YF.n]nBεO4VO&↑"∧-h→Bε␈!Q"αα∧∧∧
¬	K∩bα∞Mε*α∞8V≡}lDαεO4∧ε
α∞Fbo
x
-n→<H∧∞|→8m≤↑:;Ltλ→[
}h≠yAQHλλ∧∧_{p↔≥97v⊗λ⊂:42H⊂:44\2⊂⊂4\β  the  fOrm  Whose  evaluatiOn   (or
     application)  iS about to be attempted, and the last el@∃[K]h4∀~∀~(@@@@↓SfAC8AB[Y%ghAa=S]iKH@Aga∃GSMs%]N@AQQJ@A	S]IS9N@AK9mSe←9[K]h8~∀@@@A≥←β#∃↓β&CπQ↓¬##∃↓π+O∃↓ε{⊃↓β&C↔O∃πβ?';&+KMβO→β↔cεcπ'≠,!β'9¬##∀4R↓↓↓↓∧jε∞2M~Aα7∞sWπ1¬+;∪↔∩βS#∃εC↔π∪Ns≥↓
&+W∨>K;≥α∞K∪MβNqα2&≥↓	84Ph)↓↓α↓↓↓↓α↓αOW≤≠↔OOM3∃↓"∃→%∨M¬;'31ε;=βWαβ?;∃∧c↔[↔bβ←#'d)↓"~~I↓β←Lc0$$∧ααα⎇rαεMx
mdλ≠{LT≠→5L]λ
≥m<Y(∧.αx⊃~yP10Xu{py→9P4gλ:4vrH7y⊂"≠{wεEλ⊂⊂⊂⊂≥42P9]0quFλ0p∞d@∪?>q	β'~β∪ ?.|↔⊗'4λ
-d≥~;,T≠|@∞↑λ≥~Tλ≤u≤zj+AQHλλ∧∧⊂(≤n]98<O∀≠yH∞M→(_.l:;_,-→(⊂⊃[vrpw→9]εEβE⊂⊂⊂λ⊂⊂⊂⊂λ⊂∀!)JP⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ!0qu\x0q`% 1 l@∃mKX~(~∀@@@@@@@@Q¬LA\R@@@@@@@@@@@@@A¬CG-caCG∀ATAYα+[↔3_h($)α↓↓↓↓α↓↓↓↓D∩M↓s7+;∂SL¬vrnl≥V+r∀∧αα∧,≤6O∨≤6*πMtπ&FTλfO↔>@ε≡∞MDαπ&qQ"αα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧λg.v>M⊗}r]l⊗n(β"C!$λλλ∧∧λλλ∧¬⊂Th	i3
(∧∧λλλ∧∧λλλ∧∧λλλ	≥Z=~,≥~>Y$∞≠h∃
(λ∃
}λλ≠l@⊂⊂:4→FA⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂826λ⊂9z0XuP⊂∀→:y:4→yz⊂⊂_t2prλ4wεEλ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂:~vrTP_w2⊂∀⊂)PP'λ:4vr\FEεEλ⊂⊂⊂⊂λ⊂⊂⊂⊂
!)P7~v⊂≡3≠∨∀P⊂λ⊂⊂⊂⊂λ⊂⊂⊂$[4z4p[4⎇2P_w2⊂2≠P∀!)H≡37∂
FEεEλ⊂⊂⊂⊂λ⊂⊂⊂⊂
!)P'∩f⊂≡3≠∨⊂7∧H⊂⊂⊂⊂λ⊂⊂⊂$[4z4p[4⎇2P_w2⊂2≠P∀!)H≡#'∂λ'∀FEβE⊂⊂⊂λ⊂⊂⊂⊂λ⊂∀#)JP⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ#wP3≠y;py→⊂⊂0t→pr⊂⊂~w⊂⊂:~vrTPλ_FE⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂62]2vεEβE⊂⊂⊂λ⊂⊂⊂⊂λ⊂∀#)H'$f∀H⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ$s4j~pv4⎇→P:7P≥42P1≠z:7vH7s⊂*~2FE⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂82≠⊂⊂9z_quP⊂
3:y:~2yz⊂λ10quH⊂4wεB⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂≥4rrTCEαE⊂λ⊂⊂⊂⊂λ⊂⊂⊂∀⊃)P'$S⊂7∀Pλ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂$w~z4pv~⎇2P0[2⊂27H∀#)P≠∀BEεB⊂⊂⊂⊂λ⊂⊂⊂⊂λ+t2wλ4w⊂⊂≤wvrPλ2w;4\7w6r[:⊂⊂+Z4qt⊂λ7w2Pλ;wzf→⊂⊂64ZpP⊂:≠FE⊂⊂λ⊂⊂2|≤67y2K⊂:42H37v&≠{tw3H4yP:\rs:f∞εEεEλ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂↔!εE∧H⊂⊂⊂⊂λ⊂≡37\6X←εB∧@P⊂εE∧DH⊂∪εEαDP⊂↔βEP⊂λ⊂⊂⊂⊂∂37y6[∨εEεB⊂⊂⊂⊂λ;t4qZ⊂2{0[:pz2\P2pqZ⊂≡37\6t←⊂~w⊂:4→P⊂1z\92w:λ⊂14w→4w3@  environment
     usifg the  lasT element Od∧AiQ∀AM←e4AaeS9iKHA	r@@"∃→%βπv!βS#(h)↓↓α↓β?C&K?;πbβO.=yf"ε≡,w.n]nBπ&tλU4EaPPh$∧ααα∧∧αααλi⊗v∞MO∩ε≡nN&bltλ.]=≤h,8z`∞Mh≥~Tλ∪∩*:λλ∃
}≠→=L]λλ⊃N7vFEλ⊂⊂⊂⊂≥42P1≤2pu@_ww24]4ww↔βEαEεBβ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ*42P⊂) ebH(0quXsrFEλ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂VVP⊗KVVVPVVVVKVFEεBεE⊂⊂λ⊂⊂⊂⊂λ⊂⊂*4~yP80XupsrH4yP:\rs:vλ37yλ8:z:~w3P⊂_92pu\7tw:≤P⊂4wλ⊂0FEλ⊂⊂⊂⊂→:w1z~ww⊂;Zz4⊂6Zw4vp[⊂2s3≠y:≥Pλ:42P→:w1z~ww9P≥7P12H22yq\4q2rβE⊂⊂⊂λ⊂:yrH:42P⊃r4z7\⊂∀9rYP0q7]2TP0[2⊂9t≠zv2⊂≠7z⊂1→P:yrY⊂:w6→yyP:~2FE⊂λ⊂⊂⊂"Y4z7yλ⊂4yP≤92yr[:↔⊂⊂∩w⊂3 Xz⊗⊂*~2yrP→:w1z~ww9P≥yrP:~2P"r~z7yεB⊂⊂⊂⊂λ:7P0Y2⊂:4→P192Xux7t[:9WεBεE∧Pλ!0ytXpv6<H⊂:42\2P⊂0\2P⊂7[6<P⊂→4{2Pλ3:w1]4ww9N⊂⊂⊂⊂⊂) ebKεE⊂⊂λ⊂⊂*g⊂) ebK⊂!)%K⊂*g!∀%V⊂0[2⊂!)⊂ebdcλ∀0v6λ#"d(∀9TW  The arguments
     to BRAKE are:

            which function
            where in the function to put the breakpoint
∀@@@@@@@@@↓k]IKHAoQCPAG←]⊃SiS←9fAiQ∀AEeK¬VAgQ=kYHA	JAKq∃GkiK⊂\~∀~(@@@@@@@@↓)QKg∀@@@A¬eOk[∃]if@@ACe∀@@@AMaKGS→SKH@@AEr@@AaUiiS]≤~∀@@@AS]⊃SGCi=d[mC1kB@AACSefAS\@↓iQJ@↓CeOk5K]h@↓a←gSβ#'?;~↓β?→π##∀4R↓↓↓↓ε3W;∂&K?9α∃∩ε.∃r↓α↔c∞kC3∃β!PPh$∧ααα∧∧αD∃(→4*∧α3@
~56λλ_U⊃4D¬∀q5
∀λJ(	j30Q*$h∩(d
⊃4$	H
%⊃"C"D∧λλλ∧∧λλλ∞⎇~8z∧∞x>4d∞≠h≤∞↑λ_(.Y8:n
z;]∧∧~;H∧∞~→(∧];XnM;{H∧
556↓QHλλ∧∧_9]↑Hλ≥
(λ≥

<Yλ∧
q5∀$∧_;Y∧∞≠h_,>≥8;
O(_\L\:h~,D≠O-¬Dλ∪[nL#"H∧∧λλ∃
=λ≥
<y(∞:<\dx;@,(~3D∧_;↑$∧≠|Y↑Hλ≤m≥Xy(∧∞~→(∧];XnM;{C!$λλλ∧∞≤Y8.Nhλ~.Nhλ_.,⎇;9-n≤hλ
↑8zλ∧
~:y$(≤∀M}→<]∂∀≠~<nEHλ∃
∞<h∃lQ"Hλ∧∧λ_sn]→λ∩≡Y(≤l≥9∞C!! Hλ∧∧λλλ¬λTP2hT⊃Q3((4Hdλ1Q⊃*$
∀q*J(
J$	1H
λZ(∪@εE(∩3D
556¬∃@εEεB⊂⊂⊂⊂λ⊂⊂⊂⊂λ&wy2[{2y≠7z⊂ %very one  of  @QQKgJAaCSI`
↓βM→↓β;,≠↔OO∂∪d4	α↓↓↓β≤K;∂∃ε#↔≠π,cSMβ∂∪∃βπ4∧⊗Nf≤-F+Pβ"C!$λλλ∧∧λλλ∧∧λλλ∧	24ti→Qhλ∧λ4pu)X1β"D∧λλλ∧∧λλλ∧∧λλλ¬U+++%U(λλ¬U+++%U!"H∧∧λλλ∧∧λλλ∧∧λλ∩)Dλλλ∧∧λλ∃
(_p~\92w:λ3:w1]4ww_2tw3H2r4j→rεE⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂$Q⊂⊂⊂⊂λ⊂⊂⊂$Q⊂*εEλ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂∪*fa"T⊂⊂⊂⊂∪*fa"T⊂_FEλ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂⊂c*"iλ⊂⊂⊂⊂≠7w2FB⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ!"c'T P⊂⊂λ7'g"Kα  

¬
     iq legal.  To remove all of the breakpoints  fpom  FOO,  one
     does:

               (UNBRAKE FOH∞R~(~∀@@@AC]⊂ASLA→∨⊂≥βM→βS#*β≠W;≥#'?9ε∪↔';8α↔∪'&+⊃h4Ph)↓↓α↓↓↓↓α↓↓↓↓α↓↓"Vt∩Jε.*H4(4R↓↓↓↓αB;?S+Q↓βπ7#↔Iα∃∩ε.∃αβπ;⊃ααV:
∀
.∃↓π##∃↓∧~∃↓βO→↓βSF)↓βS␈β7?O h)↓↓α↓β↔cπ∪↔OON{9↓↓ε{⊃↓↓π##∃↓ε3W;∂&K?9↓¬;#↔K*↓βS#*↓βK./C?NsQ↓β>L4(hP4)↓α↓↓β'w≠SπMLV"JaQ hR∧∧ααα∧∧αα¬MRε6}-W~ε|dπ&FT'⊗.≥>ε}NnN2ε∂,Tε∂~ivff}}3Ph!Q"αα∧∧ααα¬λ%∀8T∧LRπMf∞nWaPRα∧∧ααα∧∧ααα∧∧αα∧_jD-∩πJε∂'LZ&sr	jTl∀Z λ
d∩1HπN≤Y9πe!"C!$λλλ∧∂893Nc"C!$λλλ∧∧λλ


SqlD	R3λπL[|['a"Hλ∧∧λλλ∧∧λλλ∧∧λ
⊂J(02h¬	3H∂
l;9/Dλ1U⊃*$∂≤_.N→<[Gd∪U3((4H≠E⊃"Hλ∧∧λλλ∧∧λλλ∧∧λλλ∧∧λλλπN≤Y9πe*+C!!"Hλ∧∧λ_-lβ"C!$λλλ∧∧λλ
λ*P2q$	3H∂
l;9/AQHλλ∧∧λλλ∧∧λλλ∧∧⊂Q1IzQ(∂∞=≥→.-OH∪JY0Q4D
H∩1Dπ≤≤Y,GJ#"AQHλλ∧∧≡:9-L≤c"AQHλλ∧∧λλλ¬
∀Sqf!"Hλ∧∧λλλ∧∧λλλ∧∧λ
⊂J(02`⊂
$g⊂≡≠0rr←λ!"c'T ¬ ,PatteRn: NUMBEB↓\R
∀@@@@@@@@@@@@@@@@@yae∃H|R@qMWeZxRT4Ph)↓↓α↓β←#,ε&*βLiwεKd	↔4≥~→$
K=~∧Xπy6H:7P -atchyaCIQKeL@p↓βGOL¬f 4λ≥~Q Hλ∧∧λ⊃1
≡≠|@∧
8=_m<K@⊂λ⊂*g!∀ ebPλ7w6,H92vw]2yP1≤2pux≠ts:9H5s⊂ 4his
     dh∂eZ8~∀4PI↓α
∀
.∃β>KS!βvy↓βπ⊗;W7↔w#@~π,ZG/⊗n4ε
α
I↔∨"
xbε∞MDαε↔-⎇6.pQ$ααα∧λg.v>M⊗}w4¬εJVU`λ∧∞~≠p→YP197Zp¬n Uqi`≥Nαβ↔'SF+Aα
∀
.∃β|ε"∧∃)5`hPβ"B$∧⊂TRd∞≥=≤d∧_\Y,≥|≠p∀[:9P0]⊂⊂:4→P12sZw74`.e  oF  fuNctionq;
     These breakpointq  are invokedAKCG @AiS5JAiQ∀@AMk9GiS←8@ASF4∀@@@AGCY1K@@Q$YJ\AQQKeJ↓SfA]<ACggα{∂'π&+⊃βC⊗+∪'∂∂#∃%9ααS#∃∧≠π31∧εFxh$∧αααλ*$ZεMyv@>h≠∩-≤(
⊂J)h∂⊂∪≠_X∞ <dj2>@\\\RPAo!KeJA9←]JA=H	↓↓d3;%XhQ↓↓↓αβπK∃ε+[π3.S↔⊃p↓4λhP%↓α,rαJ-∧ε&.n}h	.P:42H4w4`4iad  breakpoint from each kf  its
     unevalpCi∃HACe≥k[K]QfP→αL1↓β;zβπK∨,k↔;S~↓βπK*βGC↔≤¬⊗&N\ABαε≥M@hR∧∧ααεn]f∨&≥⎇g
π⎇
⊗≡B∧
ε∂6T
ε∞"∧'⊗.≥>ε}NnN2εNn>F∞fL\Bαπ↑=⊗v:∧λ%∀XQ$ααα∧
vNfD&*π]eV↔⊗⎇<VrpQ!PPJ∧λ%∀8Y∀2ε≡4αε
∧f/G∞$απ>
_6Bα∞L⊗↑/4∧ε
αnVv∨M≥vrα≥f"α⊃PRα∧∧αππ,\FN≡≡LRε}d∧εvz≡&?.\Yg'~d∧α¬&Tε7.l:FN}d∧π>NMDεNwmy6*α∞Mε(h$∧ααα.&.∞4∞vF.lZf/∩∞Mε*εn]f∨&≥⎇bεO4∧ε≡∞MLV"ε≥lBπ&Tππ⊗\M⊗≡∂LTαεO1Q"αα∧∧π'↔\U`hPβ"@↓Dλλλ∧∧λλλ∧∧λλλ∧∧λλλ∧∧λλλ
I⊃(⊃λXU1h
λ0rp(x#"H∧∧λλλ∧∧λλλ∧∧λλλ∧∧λλλ∧∧λ+%T++%U(+%U+++!Q@εEεB⊂⊂⊂⊂λ⊂⊂⊂⊂λ*44yH80quXsrP![w:0t[9P⊂:≥wP⊂3≥w1z4[w9V⊂λ""a*QP⊂0w→⊂⊂!*εA⊂⊂λ⊂⊂;t~qt⊂⊂_v67kH⊂:42H:yr`2 to Exa`≠S9JA	∪M OfAMiCGVQCYG<AeKM∃eKH~(@@@@↓iVACLAiQJA!	_A←d@↓!`↔OBj∪?←rj3'O"I0∩α∧	⊗2α∞Mε*α⎇F}⊗≥Dα∧d~:hR∧∧ααπl≡&N∞-LRαα**4-"∧
↔4λ≤y.D≥≠h
Eλ≥~]H≥~T≤⎇_,=h≥z-Mλ_smn_:;D#"H∧∧λλ→↑_:;\λ≤Y,=|Yλ
|H_;
D≥~→$
k96∞∞Y<|m≥{\h∧⎇<\L]]≠≡$∧~;H∧∞~→#!$λλλ∧∞≤[xl↑|hλ
|Hλ→.l;≥8.M;{KD∧∃~→$∞<y4D∞z≠⎇-Lλ_Y$=x<LT≥~_.D≥z→-a"Hλ∧∧λ
TJ85λ~.4_[⎇-lλ≥≠d
λ∪	~tλ≤N]\h≠-}Y(λ∞=≠⎇{∂∀λ_;LDλ≥<l↑hλ≠-}Y#"D∧λλλ
M<⎇λ∞>≠|X,|(≤|≤y+H∧↓"C"AQHλλ∧∧λλλ∧∧∃~→$
→>≤∞$⊃⊃0JXh→;L≤[→<d
{Y(∞Mh→>∞
≠|Y$∧→>≤∞,<|z-⎇\hλ
⎇C"H∧∧λλ≥
(λ≤nL8zk∧∧→>_-]9Y(∧
≠xx-Dλ≥X.-88[Tλ_Z-l~;Yn5λ_;LD→[tL<(_#!$λλλ∧∞_<]
≤;≠≡$∧→=X-N8=→,Dλ→>∞∞Y<|m≥{Hλ∞Mhλ≤∞,;8=∞↑Y;≡$∧≤Y=∞↑[Hλ⊃"Hλ∧∧λ≤|\z9Z,\λλ≥L≥≥9+D∧λ∃~Tλ→]-l⎇~;mdλ⊂U∧∧→~<n
_><d∧_;H
≥Y→;NL9β"D∧λλλ∞l<\z-⎇H≠yD∞~→(∧,X8znNX8y$%C"C!!"Hλ∧∧λ∃<m≥Yh⊃λXU1h↓QHλλ∧∧++%U(+%U+#"AQC"H∧∧λλλ∧¬⊃⊃0JXh∃
$∧λ(λ<=<y.4λ∪∩*:λλ≥
tλ→;NL<HλL8]9l⎇;Yh∧
;y→$∧_↑#!$λλλ∧∧λλλ∧∧λλλ∧∧λλλ∧∧≤y=∞M;Y`∧¬TTq*Dλ_;LDλ∪SjZ3h≥
t∃λ⊂-lλ≤{L≡≤~;Lq"Hλ∧∧λλλ∧∧λλλ∧∧λλλ∧∧λλ≥
(λU*Yh≠~-m|hKAQC"H∧∧λλλ∧¬⊃⊃0JXh∪R)E((
<=≤h∧¬TTq*Dλ_;LDλ∪SjZ3hλ∞Mhλ≠M≥λλ≥
tλλ≠\=Y#!$λλλ∧∧λλλ∧∧λλλ∧∧λλλ∧∧→→8N\yz;Lt≠;yT
≤Y.>;≥~-lh~;DX<⎇↑H_;LD≠;|LQ"Hλ∧∧λλλ∧∧λλλ∧∧λλλ∧∧λλ→,lZ8z,]]λ→.l;≥8.M;{J%dλβ"AQHλλ∧∧λλ
λH0U1e∀λλλ∧¬(⊃;NL<\h∞M→(→\]9ym≥Yh→N]X⎇~-⎇KHλ∧λ⊃0U(tλ≥z-Mβ"H∧∧λλλ∧∧λλλ∧∧λλλ∧∧λλλ∞∞Z;]∧∧≥~→$∧≠_<nDλ∀k,←≤≤Y.>z;{D∞~_=∧	∩4t∧∞x<c!$λλλ∧∧λλλ∧∧λλλ∧∧λλλ∧∧≥≤↑-≥Yh≥
t→=X-N8=→$;Yλ∞|:=λ∧[|H∧(λ_m⎇;8;LA"Hλ∧∧λλλ∧∧λλλ∧∧λλλ∧∧λλ_m<X8nL<Hλ∞Mhλ_LTλ→;NL<Y9¬dλ⊂9NL<H⊃/8⎇=
≥Yc"D∧λλλ∧∧λλλ∧∧λλλ∧∧λλλ∧∞~→(={;8-lλλλH0U1d∧≥z;
Dλ≥x-≡λλ→M}Hλ_$∧≠Y=aQHλλ∧∧λλλ∧∧λλλ∧∧λλλ∧∧λ_{m]8;Y∧∧≥≠h,(→;NL<Y9¬dλ⊂;O∀≠yH∞M→(_m⎇;8;LNc"H∧∧λλλ∧∧λλλ∧∧λλλ∧∧λλλ<;H_LT≤≤Y,<99→,D_Y(∧;Hλ≡XZ=∞,<↑(∧∞≠|z.M=Y#!$λλλ∧∧λλλ∧∧λλλ∧∧λλλ∧∧~;]\y<K∧∧∂≠OED≥z~,=λ≥z-Mλ_x.↑y(≥
=λ_m⎇;8;LA"Hλ∧∧λλλ∧∧λλλ∧∧λλλ∧∧λλ≥
t_Y(←→8u.L9λ∂
gH≥~-\<kC!!"C"D∧λλλλ={;8-l≤h∃
t⊂z_-ly(≥
(⊂⎇..Y;]∧λ>≤≤L↑|z;ma"Hλ∧∧λ+%U+++%T+(¬U+++%T++$¬+++%U+(%U+++%U++#!!"B(∧λ⊃0U(t~y9.∞h_(∧∞≠z;NL<H∃
t_;H∧;→;,]]λ∪lD∪∩4j∧|hλ∞>_8zeA"Hλ∧∧λ≥~TλX⎇..Y;]∧>≤≤L↑|z3mdHλ≠n⊂!bWλ⊂⊂'w→P9rzλ⊂7s⊂_wvvp[29P⊂_y2FEλ⊂⊂⊂⊂≤97{$Y2r⊂*≠P6wk→P:44\P87`)nter0AKCG AiS[∀AISgAYCsS9JAiQ∀@A]K\~∀@@@Aπ
8A)QJAcgKβ⊃↓β∂∞qβK↔4+@∩α∞MrαπMR∧≤T∧αF6β|@⊂λ2|0v\4∧e,  within~∀@@@A	eKCWA←S]iLAgQSαc∃α∩,∩V∨∨Ls∃%β>KS!β&C∃β[∂∪'πd)↓,8QPP@ Hλ∧∧λλλ∧∧λλ⊃∧¬(≠;nl(⊃≠n⎇H≥~T≤⎇_,=hπεEλ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂∃44yPλ1wvvXw2⊂⊂≠pqr`3  the  CE   the   nexpλ@@↓YP∨←-⊂4)↓α↓↓↓↓α↓↓↓↓α↓↓αMn+cCK-≠G'⎇`λ
⎇H≥~T≤⎇_,=h
~%L+H≠-}Z;Yd∞<h⊂L≤z⎇x.,β"H∧∧λλλ∧∧λλλ∧∧λλ⊂~~9:P*~vrTWβE
           U  ~A5←mJAU`AiQ∀AgiC
RP_Q$ααα∧∧ααα∧∧ααα∧
FFO4∧ε≡}]\⊗v"∧
V∞↑↑4απ&Tα∧≤T∧π&FT∧αεV←∞Bαα

⊗ =→<C!∧λλλ∧∧λλλ∧∧λλλ∧>≤⊂→→yyt`/n onthe StackQR]J8AMOe]CeHAβ##KU¬#'7∃Jp4(Q$ααα∧∧ααα∧∧¬"αT	'.o∧
FzπMR¬&}∧ε}∩∞Mε*π>L⊗≡ZaQ"αα∧∧ααα∧∧ααα∧∧¬&F≡4ε≡}]\⊗v"
\⊗↑∂4
FF*λ8Rπ&Tαε/∞∞&/∨=→vrα
⎇bαπMPhR∧∧ααα∧∧ααα∧∧ααπMzααε|dαπ&Tπ∂&≤92αF∃lRbπMRεF≤8
∧>≤∀L↑|z0↔[⊂12d[3FE⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂2]0r2p]2r⊂1→s3q2H:42P_pv6⊂≥4π DE@UG).
~∀4∀@@@Aπ←[5C]If↓iP≥α,πεO"∞Mε*∧HX%,:jVv∨M→vpH$∧ααα¬QRjjUQRjαUPαjjUPαjjT¬RjjUPαjjUURjjQQ hR∧∧ααα∧∧ααα
⊂λ¬T∀=0∀]∧@
               This c@=[[C]⊂AKqSQ`
β≠⊗{5↓β&C∃↓β&+W∨>K;≥↓∧3W;∂&K?90hQ↓↓↓α↓↓↓↓α↓↓↓↓αβ3↔π4K;≥↓∧εFF*∧∞W∞∂$∧εNr∧λ

(λ∀l≥9(λ∞≡_=→$
→(⊂≠XyP4gβE⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂12c≠y2P"≠tp∞gQ∩⊗∃*≥%8hP4)↓α↓↓↓↓α↓↓↓α⊂∧αj¬,X
∞↑Xπ⊂+_v:rWβE⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂*44\β co@5[CMHα↓β≠∨⊗≠↔M↓∧εFF*∧λ7/↔,Yg"αX∞∞∞Y<tm≥{Hλ∞MβFE⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂ 2eturn a s@AKGSMαK↔"∞l⊗g9+@⊂λ*42P≥yry is f@%`OQ∧∧↔=y9β!⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ87P 6er`∪MβIβC#∂!β#∃∧εv∞wL∧h∞MβP3 /p¬GJAα	βK↔'+@⊗@H→P→≠vP:4→F@
               c@U`K↔w!β↔c∧ε&/∨=_meHλ∩,@⊂9wVλ42P )pεAC@≤¬6.λ→P↔\α a @→←e@4hQ↓↓↓α↓↓↓↓α↓↓↓↓αβS :,Rπ⊗↑NW-β2r.  ThipεAM←β∪5β'~β↔[πe+πS↔ ∧αε∞βY⊂λ8¬se@⊂~∀@@@@@@@@@@@ACf↓iQJAβ∪↔SW⊗qβKπdεV*εmxD∞~→(λbWεEβE⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂!PP)2VY{0v*Xz2P #urre@9hAKqAeKggαK?98hQ↓↓↓α↓↓↓↓α↓↓↓↓ααS#'~β'Mβλ∧π6∂-_↔&N⎇`λ
|H≥~T∀H⊂⊃[vp
and in↓oQSG @AiQ∀~∀@@@@@@@@@@@AGkβ∪C↔; ↓β↔c∧ε&/∨=_mdλ~4d∞Y+9.l9→0.L9@⊂λ*42P≥yry is
               aqkedAi↑@↓mKeS→r@Ai!Ch@A!J@Ao¬]af@AiQJ@AGkIaK]h4⊂@@@@@@@@@@@AKqaIKggSα{9βSzβ∃β⊗)7↔[∞cWπS.!1↓hP4(Q$ααα∧	w&F↑ λλ≥{;8-l≤c"D∧λλλ¬U+++$¬+++%U++#!! Hλ∧∧λλλ∧∧λλ∀∧¬(∀⊂→~w:⊂ 4he c@UeeK]PAKqaIKggS=\\~∀@@@@@@@@@@@A⊃¬+∞A]OE5CYYrAISgAYCsf@AKqAeKggαK?;Mα↓β←'&A↓↓βλh)↓↓α↓↓↓↓α↓↓↓↓α↓αBJLr2⊗Z,aβ/→β→βπ≠ β¬αBE.
               This command "pretty-prints" the CE.


           B - Break 
               This  command  causes  LISP  to   break   in   the
               environment   of  the  current  expression.   This
               allows the user to examife local variable bindings
               To continue DEBUGing, the user should type a"$P".
¬
           ? - Help 
               This command prints the list of the commands.



                    A Sample DEBUGing Sessign
                    - ------ -------- -------

               In this commented LISP seqsion, lines  entered  by
               the useR are preceeded by a "*".

       *(DEFUN FACT (X)                         ;POOR LOSER TYPES HIS
           (COND ((= X 0.) I)                   ; PROGRAM WRONG!
           (T (* X (FACT (1- X))))))
        
       *(DEBUG T)                               ;ENTER DEBUGGINC MODE¬
       T
       *(FACT 6)                                ;TRY FUNCTION
       
       
       I UNBOUND VARIABLE
       ;BKPT UNBND-VRBL 
α       
       *(@EBUG)                                 ;CALL DEBUGGING FUNCTION
       
       (+INTERNAL-UBV-BREAK ((I)))              ;LASTTHING LISP EVAL'ED
       *D                                      ;MOVE DOWN THA CTACK
       I                                        ;NEXT FORM ON STACK 
       *D                                      ;MORE DOWN AGAIN
       (COJD ((= X 0.) I)(T (* X (FACT(1- X))))) 
       *D
       (FACT (1- X)) 
       *D
α       (* X(BACT (1- X))) 
       *T                                       ;JUMP TG TOP OF STACK
       (+INTERNAL-UBV-BREAK ((I))) 
       *D                                      ;AND MOVA DOWJ ONE
       I 
       *B                                       ;BREAK IN LOCAL ENVIRONMENT
       
       ;BKPT DEBUG
       *(BOUNDP 'I)
       NIL 
       $P                                       ;RETURN FROM BREAKLOOP.
∩∩$∩∩∩v⊃ ASfyCII5←IJ@u4)↓α↓↓↓↓h)↓↓α↓↓↓αJ↓↓↓↓α↓↓↓↓α↓↓↓↓α↓↓↓↓α↓↓↓↓α↓↓↓↓α↓↓↓↓α↓↓↓↓βZ∩,*Xr∧∧~:∧d
~4∧≤*λ_tLaQ"αα∧∧ααα*$ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα∧∧ααα¬8d`:Pq(λ∀∀Q5
ZSH⊃J)s(⊂hQ ¬⊂⊂λ⊂⊂⊂⊂λ⊂#'i⊂bP!"U*i'⊃)'f@⊂h¬RRELT EXPRE@'M∪∨9z4)↓α↓↓↓↓α↓αRf∧)αf⊗~α6Iαty`∩α_U_h$∧ααα∧∧ααβgge,D~@λ
9∪u3λD∃∩∩*4∀k1+
∀Q4j93s@
(5∃4IGβP⊂_K∧@
         
       
∀@@@@@dh`\α↓↓↓↓α↓↓↓↓α↓↓↓↓α↓↓↓↓α↓↓↓↓α↓↓↓↓α↓↓↓↓α↓↓nJ-"VJ9¬2ε"V*α>→↓D2ε∞Qβ1$4	α↓↓↓↓α4(∀Ph)↓↓α↓↓↓α&C∃α
 α≠G;≤εFN}aQ"αα∧∧αααUQRαjT¬RjjUURjhβ"C!↓ B(∧
~→(
L>≤∀D∧⊂U
≡hλ≥.<9λ∃
tλ→~.x60|H0P⊂!_quz9_qrP'Yα  the
α     f@U]GiSα{9↓β≡3#Mαβ3↔π&K;≥↓¬+A↓↓∧εFzα∞Mε*α
5V/G∞,W∂≡≥⎇bαα,VNvqQ"αα∧∧ε/6≥JV∂&\@λ,9[tLT_(⊂⊃≤2puWλ⊂!pv≠4s3@ @T with no argume`≥iLAoSY0~∀@@@AGCUcBAC8AS@;&+;C↔ ∧εfO>@λ
|H_;
D→]3L>~;sDx;⊂⊗≤β on↓iQJAMiCGVαβS,4R↓↓↓↓∧∪∃βC⊗K;C↔ ¬bα∧≤d∧∃"
~2ε>≡hVrε≥`λ
}≥~3ml8ε⊂ .umeric abgument, n,
λ     onlY the lastAP→	∧∧g.v>M⊗}r8λ-Mα9P 7ill be disph	C@L∧V"pQ!PPJ∧λ%"εMx	.P77`4  disph	C@Jβ';S-∪;π⊃∧∧6∞fN4απ<y1∧↑(∀jH4λ∧∞~→#!∧λλλ∧∞z;[\αP9j→x82`2 disCusse@⊂AEKYα{](4Ph %↓¬##∃β4¬vf@≠⎇z-lh→6≥<≠⊂∩H⊂:y`%pεA←kH@AY←MS]NA→βπ(@↓I`↔≠≤εFN}eaPBα∧∧α∧∞|≥⊗rb∞Mε*π↑8	.9P4g≤8¬t @%`
βC⊗+⊂⊗∞<XBπ>≡Mαε
∧!"%C"C!! Hλ∧∧λλλ∧∧λ
JλH0U1d
λ(λ∧∧λλλ∧∧λλλπ~βbP&Uij⊂!⊃P 	NU%'P[⊂~>-*5αYxD(h$∧ααα∧∧ααα
@λ∧∧λλλ∧∧λλλ∧∧λλλ∧∧λλλπ∀⊃StD¬⊂Uα$
⊂πP+Si%FEλ⊂⊂⊂⊂λ⊂⊂⊂⊂
∀# aU⊂≠∀FB⊂⊂⊂⊂λ⊂⊂⊂⊂λεA⊂⊂λ⊂⊂⊂⊂λ⊂⊂$P∃g!'jS"⊂+ T$`a&⊃PεE⊂λ⊂⊂⊂⊂λ⊂⊂⊂≥P%h*∃g!'"k)!&λεE⊂⊂λ⊂⊂⊂⊂λ⊂⊂εEλ⊂⊂⊂⊂λ⊂⊂⊂⊂
∀!*∀CE⊂⊂⊂λ⊂⊂⊂⊂λ⊂εE⊂λ⊂⊂⊂⊂λ⊂⊂⊂#⊂ajεEλ⊂⊂⊂⊂λ⊂⊂⊂⊂λ!gg"βE⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂*∩dbaFB⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂#⊂ajεEλ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂!Se"εEλ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂∃$fbiCE⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂# PjεE⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ!gg"βE⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂
dg*"T' f⊗Ua+⊗a∀"`eFB⊂⊂⊂⊂λ⊂⊂⊂⊂λεE⊂⊂λ⊂⊂⊂⊂λ⊂⊂∃⊂βEεE⊂λ⊂⊂⊂*\ts3@⊃ a*cH;tz4λ)j"hβE⊂⊂⊂λ⊂⊗VVKVP⊗VKVVP⊗KVVP⊗KVVFEβE⊂⊂⊂λ⊂⊂⊂⊂λ⊂""a∃cP5w≠{yP0X7zz⊂≥42P)]2x82\⊗⊂⊂0[2⊂;t[4∧ not print  any¬
     Information put on the stack by STEP.
                        THE STEP PACKAGE
α                        --- ---- -------

↓  This packaga  Contains three  fexprpεXA'Q H@↓') 5⊃β%λα`4)↓α↓↓βπv!α
J,
.&→b↓β←#L∧6Bε\≥6*α∞↑6*ε|dαπ&T∧-P3∩	yphλN9Xp~~ww⊂⊂~wεE⊂λ⊂⊂⊂&Pab$iT↔⊂⊂*~2P⊂)U"h⊂⊂→8s1j~ww⊂⊂≤97{$Y2yP⊂_P⊂9d[3v2Pλ9z2x≤4s3FB⊂⊂⊂⊂λ30qd[4z<P~w⊂⊂+Z4qtλ&$ihλ24yx≠0|yPλ2pqtλ⊂37`2m beFore  it  iq
     eValuated.  A`diTional features are provided to  se@1KGiSYKYr~(@@@@↓K]CE1JAgS9OYJ@↓giKaAS]NA5←AJ@QJ]N8@@A←9YrAo%iQS\AGCY1`
↓β&x4)↓α↓↓β∂-∪Sππrβ≠G;≤εFN}n5∩ε∞l@π&z:&.∂LTα∀d~:αε&]]vw~%dα∧&]]vw~∧6∞pQ$ααα∧⊗g≡t&*ε>,V∂&\@λ∞⎇=~∞M→(⊂J(02r(d→];L>~;{Ea"C"D∧λλλ
=;<≠T≥<q$
yH∃
(∀uλZλ→]-l⎇~3ma"Hλ∧∧λ+%U++(¬U+(%T++$¬+++$¬+++%U++#!!"Hλ∧∧λ∃~T≤z;.
→<u∧∞x>(∞Mh≥<lT≥~→$
u⊃4∧];XnM;{H
≡h_<d[{≠
}|nC!!"Hλ∧∧λλλ∧∧λλλ∧¬∀q⊃*∧∃
(∧∧(⊃-n→<H∞≥9Y{T≤⎇→.∞~;Yd
;y→$
;;9,M8=→-O+C"AQHλλ∧∧λλλ∧∧λλλ¬
u⊃4∧	R3
$¬(⊃>
≡λ≤z-l{→(∞>→<≤
≥Yh≠-|→+C!!"Hλ∧∧λλλ∧∧λ∩;D∞z;YmL(≤⎇↑≤~3LT≠;yUλ∪∩*:λ≥z-Mα⊂⊂2~yx60↑P⊂2pXt⊂⊂3≠y2FEλ⊂⊂⊂⊂_2s7y→P⊂2{_v:pz~ww⊂⊂_w2⊂⊂≤0zyrH:7P0Xqrx:λ0P1g[vpw2λ1t0y_qz2yβE⊂⊂⊂λ⊂397[P:42H:yry⊂⊂+t→w⊂:4→P37y≠P4yP_wvx6→z2v,H⊂2{0[:pz2Y⊗⊂⊂4]9FE⊂λ⊂⊂⊂9→z:y7λ;0v:YP4yP→4yx6_|rr↔λ⊂*42H1wvvXw29P_y2]εBεE⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂)H⊗P"{_v:pz→P:44\P37y≠P⊂4wλ⊂9tw→v2P⊂≤z2x8~w3FEλ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂≠wr2WβEεE⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊗⊂⊗P⊃∀utx⊃⊂⊂"7H77z⊂→{0v:Xz2P⊂≥44yPλ37y6H⊂4wεB⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ9tw3[2P⊂9]2x84[3P⊂6[r2W⊂λ)tw3[2P9z→x84w→FE⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂6wY2P;t[6⊂12H92yz[rr⊂0Y:2y⊂≥44yP→7y6Pλ4yFEλ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂→{0v:Xz2rπλ$s⊂0H⊂192XuP⊂4\P⊂2w_wzw:→y2r⊗βEDDH∀)b"T⊂*∀P≥tv6⊂≥wy5WβEεE∧BP⊂⊂⊂¬&P⊗P∪4urP¬)P2|_rx:⊂~z⊂:9→pz9P≥42P1]y92w≥⊂37y≠FE∧DBP0yP_P6pq\7P0w→⊂2|8_w29P≥42P3≠y6P;Zz47z]εA∧DBP0w<H4w:2\6rr4Xz2P9]2x84[3WεEβE∧DPλ⊂⊂+λ⊗P&4ZrP,λ1:z⊂≤2y37\4yP*~2P2`8pression in
			 *rset = nil Mode.

                    ⊗Z - "Skip".  Do not evaleate  this  fh∂eZAS\~(@@@@@@@@@@@@@@@@@@@@↓gSMO1J@AgQKaaS9J@A[=IJ\@↓'SMO1JAgi∃aaS]≤~∀@@@@@@@@@@@@@@@@@@@A[←⊃JAoS1XAEJ↓eKgk5KHAC→iKdAβ##'M∧3?K∃αβ'L4R↓↓↓↓α↓↓↓↓α↓↓↓↓α↓↓↓↓α↓↓↓↓∧+[π∪.S↔⊃pα'2⊂λ∧\Y8-P⊂4yH⊂2w1[zw:2\2r⊗εB∧DDP
)j"hλ*⊂P 7ill not work&

                    ⊗Q- "Quit". Exi@PAgS]≥YJAgQKaaS9JA[←⊃JT@@4∀~∀∩$@@@@Yα@@5α∩∂?;&K;W∃∩qα∂?w#';W*β↔[πg+πS'}q↓β←LεFF←↑APPH⊃∀π∨&↑∞εNvt∧απ∞nM⊗bα∧
FF*∧∧εv/∞@α∧hHU∩α
z hPα""$
r⊃4HY3H⊂mL=<q$
<h∃∞8rWεBα
α		    ⊗P -  Prett		 and prinlevel increased by one.

		    βP -  Same as above.

		    ⊗B - Breaks STEP at current depth. %CE cOntains the
			 current expressign

     Where "⊗"  means control-meta,  "α" Means  control, and   β"
     maans meta.   Typing a  ↑G ("control-G"$@ACh↓C]r@↓iS[JAoSY0~∀@@@AGCUgJA→%' Ai<AYKCYJAgS9OYJAMiKaa%]NA[=IJ\AQQJAgQKaaKHAgi←IKf~∀@@@A%\AiQ∀AOY←	CXAm¬eSCE1J@Kπ∀XAiQ∀Af[KaaeKgMS←\A
keeK9iYrAU]IKd4∀@@@AG←]MSIKe¬iS←\8~∀~∀$@A∨]∀AGC\↓[←IS→rAiQ∀AIKM¬kYhAAeS]Y∃mKXAα;⊃βπ∪';∪/βS!↓ε3?H4R↓↓↓↓π##∃α∨#↔CC/⊃↓βJβOπS&K;≥↓π##∃↓ε;3?∞aβ[π⊗Kπ3/→↓αN$*A6Bb↓βπ; h)↓↓α↓αNR-↓6B⊃bβ∂WK⊗+;S3JβO↔Q¬#=↓Qε;⊃↓~βK↔Oαp4(∀Ph)↓↓α↓απ9∧+cπ7εc∀4)α↓↓↓↓ji↓55ji554hP4(∀R↓↓↓↓∧c';↔~βSgC.!βe¬##∃β/≠↔Iβ∂∪∃βC⊗+∂↔↔&+⊃βJβ¬↓	R⊃84(hP4)↓α↓↓↓↓α↓↓↓)E~⊗BE¬A↓U9J4)↓α↓↓↓↓α↓↓↓Ur4)↓α↓↓↓↓α↓↓↓	E~R⊗A¬!%↓↓α↓↓↓↓α↓↓↓↓α↓↓↓↓α↓↓↓↓βZ⊗ 5HZ"¬≤→htd
λ∧uλZ∀∩3Ht∪3qλQ Hλ∧∧λλλ∧∧λ
∃¬∀β"H∧∧λλλ∧∧λλ
E¬H∩⊂
_UP,
P⊂⊂FH∀⊃⊂,λ,⊂,))) ⊗S ;FORM TO B@
AYβ⊃λ4∀@@@@@@@@@A0z@j\4∀@@@@@@@@@@PDVA0R-&~∀@@@@@@@@@@A0z@j\4⊂@@@@@@@@@@l8~∀@@@@@@@@@@ bP∃↓@¬"¬B	¬BJ∀αe_h$∧ααα∧∧ααα∧∧ααα¬$¬B¬∧αJ↓kλ∧∧λλλ∧∧λλλ∧∧λλ∞h→βbf`S ≥⊂)Rdh⊂)Re#f"H)j"h∀$g#FB⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂Y~W                       ;          ON T@IS FORM.	α            124.
          372⊂.	∀@@@@@@@@f\d`L@4∀@@@@@@@@Q'$*Aα:La%↓↓α↓↓↓↓α↓↓↓↓α↓↓↓↓α↓↓↓n-B&@"
9∀tq⊃(
:⊃4∀	→Qh∪)x⊃#"AQA"C!! Hλ∧∧λ⊂9∞l;Xp∩Y⊂#2p]8y2yCE⊂⊂⊂λ⊂⊗VVKVVVVH⊗VVVKVVVFBεA∧Pλ*42P∀j"h⊂→8s1`4ion Can be instpucted to selectiveLy tuRn
     on single steppine mode only after aparticular functionhas
     beencalled or only within calls to certain functions.  STEP
     can also  be used  to create  arbitrary "demons"  which  can
     cause LISP tk stop and enter a break loop.  This is done  by
     giving STEP from one to three clauses, for example:

               (STEP <clause> <clause><clause>)

     where the cLauses can be oNe of the following:

          (AFTER FN1 FN2 FN3 ...)
               Causes LISP to enter  single  stepping  mode  only
               abter  one  of  the  functions FN1, FN2, etc.  has
               been called.  


          (WHEREIN FN1 FN2 FN3 ...)¬
               CauseS LISP to evaluate iN  single  stepping  mode
               only  within calls to the functions FN1, FN∩, etc.	


          (BREAKIF FORM1 FORM2 ...)¬
               Will cause the S-expressi@=]f@A→∨%~b0@A
∨I~dX@↓KiF\4∀@@@@@@@@@@@Ai↑@↓EJAKβ3π3W∂#↔⊃βU+OQβ⊗+∪/K*β↔[↔↔IαM7,πππ⊗↑:6N}d
↔λh$∧ααα∧∧ααα∧∧ααα↑f∞g\≡F."d∧∧N∩≥gJε|dαπ&Z6*αLVn}n4αε/l≥G.∂LTαπ&qQ"αα∧∧ααα∧∧ααα∧∧εv}eYdLbβλλ	I4tλ∧∞z;∪∧;]→.$_(⊂N,8:h
M{|D∧∃z→-d≥~→!QHλλ∧∧λλλ∧∧λλλ∧∧≥<q.∧→>~.Nh≥~T_XY,≥h≠≠m}λ
≥m≡~λ_$∧∀
(
(λ∃m≥≠λλ,#"H∧∧λλλ∧∧λλλ∧∧λλ_.=y9
≤H~→$∞z<z↑h≥~
≡h→→-]{H≥
t≤Y;,≥9H_,>~=Y%D≠|C!$λλλ∧∧λλλ∧∧λλλ∧Y(≤L];⎇Q,D→\[mT≥~→$→;;me;~<nEHλλλ↑X;≥,≡~;sD∧≥~→-a Hλ∧∧λλλ∧∧λλλ∧∧λ≤⊂→≠qrr`$q inthe Noreal ianner.  
¬
     	  (E-STEP (BN A1  ≤\9β≤RR↓gCiF↓k`Ai<AgiK@AoQKβ∪↔'9αα~9↓ε;⊂4R↓↓↓↓¬##↔9∧+[π∪~↓"
9∧	E↓eedr∃aPPHαB(∧¬∃3TjH4λ

Y⊃0Q)→β⊂↔πα))  and (UNSDEP  (AFTEB...))  undo
α     the above.

∩@Q')@AM@9λ∧αε6f λ∧¬KK@∀H⊂22c_zpts to  (steP  (wherei@8@AM\βλ4)↓α↓↓β≠pε"`%KJ*%@⊂⊂"g∀h"h⊂→4ε1 @→\d@\8\\RA⊃KMCk1ifAi<@Q+≥M)β @!oQKe∃S\4R↓↓↓↓∧39Eβ4¬c∩αeabJJaQ hPα(λ
M→(∃.<<H⊂⊃Xw⊂1`!use These clau@MKfAI∃ICkYβ!βS=∧εFF.≡ λ∧
_8u↓QHλλ∧∧≤|⊂∩Xts4`%d valu`f@↓Er@A∃mCYK¬iSMNα↓↓"NαHUαα%∃bαα
MεO~∧	↔4λ≥Q.<@
     UsafuL if One haq leFt single SteppIng mode with a  X
∞D8~∀4Ph)↓↓α↓αWOL¬f*¬8¬⊃*∧≥z5
∧∃∀P(8#"H∧∧λλ%U++ ¬U++ ¬U++ ¬U+++!Q@εE∧H⊂$s⊂≥42P)]2x82\α  eVer needs To  sTep through a  function
     which is being Tpace@⊂XAiQ∀@A'i∃aaKd↓oSIX↓MSegβ!αV:%∩ε∞∃αβS#π h)↓↓α↓β≠Wv≠S'?rp4(∀R↓↓↓↓¬+G'lpλ
:⊃4λ∞⎇=~λλ∞Y8:n
z;]∞1"Hλ∧∧λ+%U+(%U+(%U+(%U+++%U+++!QA"C!!(λ∩,d≡;⎇$<Y(↑X;≥,≡~;Yd
;H≤m≥Y{⊃$∞⎇→<∞
;Y`
]y→(≥Yλ→-n→<C!$λλλ∧(_\L\:|≠m≥]λ⊂⊗≠wx⊗⊂∪$ih⊂≥tv6⊂≠7z⊂1→P4w⊂≤ts3v→P9z2\84w3H⊂6wr→FE⊂⊂λ⊂⊂4wλ:40zλ67wx⊂⊂!w[;2y9Yv<V⊂~s⊂&$Th⊂4yH77z⊂~w⊂9t[3v2P≤z2x8~w3FEλ⊂⊂⊂⊂≠wr2P_z⊂:4→P:7xλ⊂62{→v⊗⊂ !nd you evaluate  (STEP T) inside  a
     break-loop, it will have no effect on top level  evaluation.
     In order to  enter single stepping  mode from a  breakpoint,
     the user can evaluate  (STEP) at the  top level.  This  puts
     the single stepper in a mode  where the user can turn it  on
     from within a break loop.


     The BREAKIF Function
     --- ------- --------


	  An addiTional function, the fexpr BREAKIF, can also  be
     used To seT qp  LISP deeons*  This  fufcTion Looks lice  the
     BREAKIF clausE in @QQJA'Q AMU]GiS=\\@A∃mCIK¬iS]Nh~∀4R↓↓↓↓α↓↓↓↓α↓↓↓↓αBαJ⊗Z&→α4zJ5Ebα~>Jhε"bαeebαα⊃Q hR∧∧ααπ⎇≥Fbπ<↑Bπ∂∧λd⎇∀V∃B∧4z)S∩bZF~r∧↔~εL]V}w5Dε∞vDW6∞L\↔&Nlp∞AQ@εE⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂∀⊂)"`eRc⊂'$S∀PεEβEαEεB⊂⊂⊂⊂λ;tv , disabh	JA¬YPAi!JAIK5←]f\AβfA]SiPAM) X↓isaS9JABAy∞AoS1X∩)α↓↓↓β∞cO=β&KGπd∧Rπ&Tαε&]]vw~d∧∧∂⊗\≡FNvtλF.n⎇n2απ⎇_

∧⊂TQ(→p1H∧
<c"D∧λλλ∞={9=m=λλ
]|Y(∧9YR,=9;]∧∧≥~_-dλ≥<m≥Yhλ∞M→(λ
:⊃4λ∧];XnM;{C↓QHλλ∧∧~≠p≠Y{2yελ4z⊂ #an not be usedin sIngle stepping mo`	J\4∀~)α↓↓↓α≤εF/α	↔⊗"λhV∂'↑,PhR∧∧αααUURjαUURjαUQRjjUQPPH!∀α¬&Tε&.≡NW⊗+$¬π∨&↑¬VF∂,@α`%KJ(∧
<h∩N↑⎇λ⊂⊗~urP9]2x⊂⊂⊃l!bh∃∧A⊂⊂λ⊂⊂4jλ;wy5\P λARDAR!Lh∂nXAo←e-S]NA!CeIKHASf@↓aKCYαceβ¬∧∧f∞∨EDαπ≡qQ"αα∧∧ε&↑d}Bπ∂<TαεODλ
-m→<p→H⊂8wjH⊂72`%d i`(8@@A⊃∃eJOF↓oQCHα↓β'Qαβ∪ >↑7 hR∧∧ααπ>X∞
|y(∂≥⎇(∩≡Y(
L9]3DY{h¬
β∀P↔↔⊂∀1_y⊂↔πα)  .,.) @¬]H@Aα3?<4R↓↓↓↓∧K@~ε=x.
;→1∧9Y⊂_0y⊂ )qn'd0ACMHαβg?U∧εv∞wDλ

t≤⎇→.∧≥z→.,8;@,<KC!∧λλλ∧
y;⊂⊗⊂9tw_pP2`6al never @MK@↔M∧εFF*8m↑~;⊂∩Y⊂1pv≠⊂:7P_0y⊗⊂~q⊂<g]FA⊂⊂λ⊂⊂0y→P9z2\84w3Kt0p∩d, the stepper @1←←Wf↓CeO@.s⊃βSF)α~&∃~Qβ∂F;∂∀hQ↓↓↓αβ'Qβ>+SMβ&yβO↔*β'	βM!β'Mαβ';OL∧F*ε|d∧∀
%`α∧v}qBπ&
~2εn\≥g
α
~@hR∧∧ααπ<\↔ε≡Z2π&Tε≡}nN&}b∞:F∞≡54εN∩
~BεO4	⊗rε,≡"εODλ∞-;]≤aQ@εE∧BP≡4wλ! i∂βEDP≠2|:⊗Y5y6GβE

     A C@U[[Ced~∀@@@@Z@4ZZZZ4Z~∧~(~∀@@@@@@!') ↓(R@@@@@@ZA]QKdAgαK;∨3*βOS↔¬β';≥εk?β∃ph 4	α↓↓↓↓α↓"NR-↓α:&bI↓↓↓α↓↓5α&KGπd∧Rπ≡≥lvf*∞8
↑≤~0↔→β moDe.~∀4∀@@@@@@QM) @qβ→β+M
|R@4A'KYα+∂S'4∧Rπ≡≥lvf*∞:F/π
→f*ε≥lB}␈$λ	]9{\e@∧AεEλ⊂⊂⊂⊂λ⊂⊂!j⊃h⊂∃∀H⊂⊂⊂⊂λ⊂⊂⊗@ As  Above,  bu@P@@Akβ≠∃↓↓ε#↔π,cSM↓α↓# &≤∧p~βE⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂⊂⊂⊂λ⊂9x %cifi@∃HAGYαWO↔~I0 (!Q"αα∧∧αααλ∧uλZλ(λ∧∧λλλ∧∧λ λ]X8[T≤z3L⎇→(∀nL<≤⊃.⊂9wP≥40r it cAn  be
                         te@I]KHAα{9β≠⊗{5β←M##'→∧	βK, ~εMxn¬@εEεB⊂⊂⊂⊂λ⊂⊂∀!∀ ¬AKIF F!∞..) - Sets qp @⊃K[O]LA∧bXX	99α↓8 (!Q"αα∧∧αααλ*$,9_bαR¬∀ααα¬Pλ
,+9;L≤Y→4d
_<p~λ9x2aZq0rrλ9rz ob demons.
~∀@@@@@Q¬%∃β↔&2α2&1J↓↓↓∃∧#'Oπ⊗c↔Mβ&+7?;~p4(Q$ααα∧∧ααE8¬⊃*¬2⊂4HD∂⊂sπe+(∪
≥y(∀jH4λ.=λ∃m}Z|h
<Y→.¬A"C!∧λλλ∧∧λ∂⊂⊃[w:97[≤εG      - Exi@Q`
βOLs∨3∃¬≠S↔C∧¬⊗v:|LVn}d	V}→+C!↓ @		      Featu@IKfAC9HA≠Kβ#¬7≠.SWK/_4(∧J↓↓↓↓α↓555ji555αi55↓ji55↓ji555ji44(hP%↓α&C∃α7∞≠3'Oα↓βπQααNε&b↓β∂?w#π';~↓βO↔6+Cπ⊃αβπWS}c?π⊃n3∀hQ↓↓↓αβ';'&Kπ1β7+;∂SN{;Mβ}1βWO*β'9↓ε#↔W>;';≥rα≠'K≤εBb∧XI∃"ε≡2απMPhR∧∧ααε≡X

⎇≠x9∧∞≤[|↑]≡+∧;Y∧∞~≥<d∞~→(∧λ9~=
}H≠8/∀_Y(∧∞];@⊂_z⊂⊂0[<FE⊂λ⊂⊂⊂*~vrW⊂∀rqw`.d, there  is a functionob  no argumentq  cAlhed
     HELP, which is autloadable.  This dqnc@QS←\A5KeKYdAgKeYKf@AQ↑~∀@@@AY=C@⊃↓∧B⊗ %¬hd
≥9X∀~@∪∀tUλλ∃m
8zλ∧
<hλ∧(λ⊃M≥→(λ
|Hλλ≡=≠s
|9β"D∧λλλ∞∞[|⊃.∞~9<d[|@∞l<Z;n↑h→]-l⎇~3mnkH⊂-]{Y`∞M→<q$];XnM;{\d<Y.AQ@εE∧Q ¬BUG, BT	Debeg rouTines discUqsed↓CE←m∀~∀4PJNBJLr≤$&⊗+πβ7∞≠K-β6{A↓	αC↔GWM3π3↔w!βS=πa$4(hP&6ε≥∩= "	X∀≥∀xHT0L\≤7⊗zLV&Nm_

≥{H≠,≤|[|aQ@∧f`Pi'a$S ∧FEαFEεEαh)&$Th⊂ PRACESS	Prlisp package from EIT
~∀%≠βπ`∩∪
Sαc∃β7∞≠K-β,ππε∞n=⊗}r∞⊗≡↑≤|Rbπ↑8V .9β"A⊃ ∧s'\α preparine @≠C
YSg`↓ISYKLAi↑AIk\Ak9IKd~(∩∩&L¬g&/-I↔>β"C!↓4q⊃*¬λ⊂THX2r1A~⎇→4∧∞_8rl≤βrP"~yqzi\pr⊂ X7{2WβE	STEP%HARD

λ	REVIEW, IH
	`∪≠∪(αβ';∪,πεNvt∞π⊗↑|,⊗hh!Q LLh
U≤Bβ∩3J	tα1M≥→(⊂→→xzt`2ing RoutiNes&
	RE@#U∪%
∩$Q∪≥¬*N!β∞s⊃αεuα6Aβ∂∪∃αyHDLZh
-l⎇~0↔[9P7w≠<TFEβE∧ibU*h∧DR7w⊂+Z4z2P⊂αackspace Packaee.

∪π≥≠_∩∪AaCiHα;Eα∞<z18Q!P@L*(∀\*Dλ%∀ZA_'ε∞αy(∞8zx,|(λ⊃
≡x⎇4n<αr⊂ X7{2FB∧jg!∀ ebVλ*g!)∩VεE∧PαRAKEIF~∀4∀∪)%¬π"∩%')"↓ieCGα+A84Ph(&∩M⊃1α∩M∩⊗∞Q`J∪'K,≠S ?/∀πε∞=<⊗.*Dλ
-l{→1
≥Yh∂D
_8zd∞Yy0~~w2yFB∧jci⊃`jεEβE	ET		RoUtife@LAi↑AIk\A
↓CfABαβOWT¬v⊂h!Q LL→→@HM-}W&NlXd∞≠h∪(→3λ⊃N
{(∪,≤{~<n↓"C"A→⊂π`b⊂i⊗&'Pb"b∧S4w2P→r4z7\⊂67pY4s3@ rkutines
	ADDED, INITED
	¬
				String
				------

∩@↓)QJAMieS]≤@A[C
eP≥↓π≠'7Cdπ∩αε≥H
}|h∃
(λ≥.<<Hλ∞MβP⊂:\pP⊂⊃βE⊂⊂⊂λ⊂;t2\2{2`2 | is appRopriate i@8A]←e5CXA≠¬GYSg@\~∀~(~∀∩∩$@@@@@A≠C
eP∨∪.04(⊃⊃∩αα∧∧αααUURjjUUPhPQ!∩α∧X_5∀|HXbεO4∧ε
ε\≤7⊗Z∧
W≡.D
FzαLV&NlTεn∞>-w~
∧
FF*∧
G>xQ$ααα∧
f␈⊗β8;∧∧≥x>.∀λ≠p∪λ⊂:y`)ng   it  are  @]SiP@↓aCeK9iQKgαKk↔⊃α↓βπ≠ h)↓↓α↓βW;εK↔;&C↔O'T+⊃βπ⊗;W7↔w#E↓↓Fc'/∃αβ↔cC↔→βπ≠ ∧αεF←∞π↔~∃`λ∧∧∃z5
↓ Hλ∧∧λ≤⊂.,;]~↑z>Q,D_<Yn]9;]∞∃α⊂⊂ 4he  IndivIdqal  fgrmal  arguments
     have the corresponding actpCX↓CeOK5K]if↓gkEgQSiki∃HAM←β⊃βS#,h4)↓α↓↓β'pβS#∃ε∪?∪e∧{⊃↓β&C∃β7∞≠C :dλf␈∩
→g∨&≥l6*b∧	vv*
]⊗ =≥λ∃l≥]λλ∞Mc"H∧∧λλ~≡Y(_$
88|Mtλ≥≠d≠hλ∞≥;<≠T≤⎇_,=hλ≠,≥Z<∃-L=~3mniλ⊂≠Z2y2Pλ:42FB⊂⊂⊂⊂λ:p∞derhyine impleeeNtatiOn is in terhfA=HAYSMif\AM↑XAo∀A[CO!h~)α↓↓↓βF[∃hhP4(∃	T≥)xD,2

U≤B¬
DDLhp¬∧$β
(¬
q5∀$
⊃∪λ¬λssTd
∩∩3Ht∀⊃∪¬∃*#"AQ@*∪(_tSqλXH⊂∪j∧
∀⊃	E(
∀
)qlH	I3λ
λ_4H∀λIλ(

85∀(
λ⊃λ
λ8∀H∀λI
**%⊃"C"D∧λλλλ=y→(∞↑z;Yd∞~→<lT≠88n-|h≥m};→λ,(≤{m\=~~-lh≠~-<.C"AQ@(λ∧∧λλλ	\8|[dx;≠↓⊃"(λ∧λ>≤_-nz;{AQ@(λ∧∧λλλ¬U+++$¬+++!⊃"(λ∧¬+++%U+++!QA"B%
∃0r∧¬∀∪∃*4⊃SsdλP4J$
556¬∀λ∂/'WHλ

85∀(
~56λ¬λssTd¬∀∪∃*4⊃SsdλP4J$
556¬∃#"C!!*∀∪j∧∀55+¬""(∧∧λ∂/'WHλ


SqdD	R3λ¬λp4H
~56
$¬∀q5
∀∀55+∧
⊂q
$∀55+¬**#!!"Hλ∧∧λ≥z↑Y(≥
(λ⊃M}[<h∧
{Hλ∞M→(λ∞-9z≥∧∧_<Y$∧≥~→$∧≤Y<n]≥≤h∧
yHλ∞M→#"D∧λλλ
\8|[e\>≤_-nz;{D¬~+Y%dλ≥~T_8⎇∞\;λ⊂m|→(→/8⎇=\λ+C!!"B(∧
z=~∧;H≥-n_<Y-n~→<m∨Y9λ∧<Y⎇-\;]∧∞~→(∞=9Y{Tλ_<L};90↔≥εA⊂⊂λ⊂⊂4yH17rw→⊂:7P≥42P⊂⊂b)⊂'Yα the calLing  fkrm, afdthat↓MWeZASf~(@@@@↓iQK\αβOW≥#'SW&+⊃β≠⎇⊃βS#*β≠/Kn1βπ⊗;W7↔w!βS#⊗{W∨#␈+QβSF)β?'H4)↓α↓↓β?2βS#∃εkπ∂KzqαS#/→h4(hP%"6~J>∩,1αBJ|9EαaαBBJ>9⊃α:&b↓1αaJI4λhQ↓↓↓αβ'Mβ
↓β7π≥∪=βSz↓β∪=αβS#∃∧{['␈+E↓β&C';≥∧3?I↓¬αJ>≥
;M 2∧	f␈&≤<PhR∧∧ααπ≡'&N>X≡Xε<P≥40z the "." sitqation i@LAQC]⊃YKHA
←eeK
iYb\4∀∩∀∩A≠βπI∨	≥bAoSQP@A[=eJAi!C\@A=]JAM=aZ@A%\AiQ∀@AE←⊃r@ACIJ~∀@@@AQ¬]IYK⊂AErA¬IIS]≤AC\@↓KqaY%GShAA%∨∂≤↓SLA]∃GKgg¬ar\@↓
S]C1YrX~(@@@@↓eK[K5EKdAβ##πQ¬≠WO&KS@/M→vw~mw∩αmw⊗n≥Dπε∂,≥V/&↑.2εO4∧ε&}lU@hR∧∧ααεm}Bεf≥\&&
\-⊗v&≥lrrα
9rε∂,}Vn.β]≤d∧_<Y$∞Y+8m⎇<≥=\λλ∃m<Y=L↑A"H∧∧λλ∃
:<@M|[8-Dλ≤_.,8εrj→y9P0\82pyλ⊂4wλ:42P→2s4w~w3P⊂→7y6Wλ⊂*7FB⊂⊂⊂⊂λ9wv;→P:44\P897X62vFλ7w2Pλ1pw→|86$Xtr2<H40vq→0Vq4[2↔⊂⊂∪pqy7\FE⊂⊂λ⊂⊂;t]44w MAC@%=	⊗→?→βπK*βπ33⎇;↔⊃_hP4(∀∧∧l8∧ShHαc⊂+Zz4⊂8_y2w:~2yt`:ed nam`
@Q$]J\@![CGe=IKL@!M←↑RX\\R$AoSY0~∀@@AGeK¬iJABαβ∂?7εK3πd)β7π≥∪=84P0$∧HJ6ε∞α)phPα""!∃++#%Q C"A∀λ∪0(~Sh⊂∀\β another↓[CGe<AIKMαK;'SL¬vrε\≤7-βP @	khAC1YP∨←~β∪ ?!Q"αα∧∧ε ,8π1`)er areuee@9hAQC9IYS]≤X@Aβ≠↔↓βL¬bαε=xM8p∞c@QS←\Aβ;'S!αα∞ <HU@hR∧∧ααπM
↔4λ→→,@4p∞i@QS←\@↓Hπ∂L¬FO'α(λ∧∞→<[-≡≤hλ∞M→(λ∞∞[y|L≥8εr`2   wide~∀@@@A1CiSiUIJ@A%\@AI∃H'm_L@P⊂44\β  sYnp	CGβ#'
↓¬≠W>≤ D∧∃~→$∧_Z;LM9Y`⊂λ⊂⊂⊂εB⊂⊂⊂⊂λ4rqd_w4q`- qse@⊂@ASf↓ECgK⊂@A←\AiQJ↓@∪'&{A?4∧πε∂LLW⊗@Hλ≠,≡_z→.↓ Hλ∧∧λ→~.≤⎇<|l\λ_8M}Y.H
⎇Y(⊂l≥H~0↔≥7urPλ:42P≤0z:2\4ε matcheR on  the
     CDR @=H	↓β&C∃↓β⊗+OC?w≠'3*↓β≠?⊗i9αSF)↓βON#∃↓β,3∪↔∂'→↓β?2↓βS#O_4)↓α↓↓βC⊗{∂↔O~↓#+πn+3e1π≠↔SSNs≥↓⎇ε;⊃↓αQβ[π⊗Kπ3/→%β∂∞qβ∃π+O↔⊃αβd4R↓↓↓↓∧~>∩∃π#=↓βπ∪?∪W≡)β∂?&)↓β∂≠↔⊃β}q↓βSF)β';π+Q↓βNqβ¬↓ε≠?;[,s'↔; h)↓↓α↓β7πvs↔I9∧3?Iβ/Cπ7Cd)1β#/∪∃β'~β¬β7∞≠K=β&yβ∪=εcπ7&	7'v#';≥εK84)α↓↓↓β
β7?K*βK↔π&3∃ε3?K7∂!h4(hP%#7∞≠K=βf+Q↓!W3πKM¬y↓+[∞cMβ∪z↓+≠?⊗i$4(J↓#∂?&)↓!#f7∪
↓!+[∂∪M%↓V3?K5J↓+[πg→%%$hP4)↓α↓↓απrβ↔cπoβ3∃β}1βS#*βWO∃εKMh4Ph(%#f+Qβ≠|yβπ∩βGWWBα⎇↓#εcWMβBβeβiJ↓↓∨≠|yβGW/Aβ∪<hP%↓sF∂-β6{=1β⊗I1β∞s⊃βG/+ay%h(4(HIuuur↓!#3∞k∪¬αC≠?=ε∪πIβ∂+Wa$hP$%↓α↓↓↓↓fCπ∂-ε3?=1ε∪πI1ε;⊃β∂WWarH4($J↓↓↓↓α↓#C3/→βaβJβi%↓>3?=β∂+Wa$hP4(%αα∞>∩*aβ¬α4*bBIb↓β'Mπ≠'7CeI↓βSF)β';∨#π;SNS'?r↓β7↔≡Cπ;'≡h4)↓α↓↓βS∞c/↔⊃ε?W"β'9β&C∃α↔&KS?IαβO↔∂&K?99∧~>∩∃π#π/↔~β¬β≠␈∪51↓ε;⊂4R↓↓↓↓π∪↔C3∞≠↔Mβ∞c1β?≡≠WKK.s∂↔Mε{→β[∂∪'πf+Eβ←F{O∃β6KKOQαβ∂#π⊗∂S↔⊂h)↓↓α↓β'Mβyβ←'&Aβ'S~↓α2&≥↓β[πg+∃9α∞c1β≠⎇∪7M↓π;'S!αQβπMπ##↔'∩↓β≠'↔≠P4	α↓↓↓β≡CπKπ∨#↔IβF[∃β&C↔'Iπ3π3W/→↓#3O≠SM%π≠C3'≡+⊃β'rβ←#↔⊗+[↔I¬##↔dhQ↓↓↓αβ?∂∂/⊃β'9αβS#∃ε3?K5r↓↓α#-∪∃∨Mε9↓β/Cπ7Cd)β?→αβS#'~↓β≠π≡KS3''H4)↓α↓↓β∪.3';'v9β¬βF'Ke∧2>Iβd{?AhhP4)m[Y↓"~⎇⊃αaβ\J90≠rα1βn$y2εB∧*:⊃2≤z22⊗≥!2∞>t→2N⊗d*∞Cyε3?K5πZJ⊗R-∩;yβ4{C5$
 ((lambda (*fOpi1 *form∩)
   (%match '(*form1 retpe\UM←e4dR@U→←eZR4∀∩QG=]H@P!Kb@␈YKeD@≥CaaK9HR@~(∩@@@@@@Q
←]H@ UM←e4d@~∀$@@@@@@@Q
←IJ@!ae←O8@Q[CAGC\@!Mk]GQS←\@!YC@7⊗#¬↓↓WA$4(HH$$%BC3π\,F
α∞∃∩αF=⎇f"α∞∀αFV=⎇g~π∃∃∩JHQ!⊂J⊃⊃∩αG∞-v>r¬,f␈⊗T∃∩JJ∀¬&bJ¬,f␈⊗T%∩JHQ!⊂JGD¬ε≡}LTαFN≡6∞r¬g.v>M⊗}r¬
F∞n,L∩BW¬∃αFf≥\&&
∞∃∩F≡⎇lBαG∀¬εv≡⎇n2π
∃∃∩Hh!⊃⊂HH∃∞π⊗}⎇dαV6}-S
J∃∃∩αVE∃∩JJ∀∧hP∀∧ααα∧¬αF/∀πw6/,$α>≡⎇l2Hh!∀ααα∧∧ααF=⎇f"α¬,f␈⊗V!PPJ↓∃ε≡}LTαGπ-|vrα
\↔ε≡≥dαF7]l7&N⎇dαFf≥\&&
¬¬'BHQ!⊂HH⊃⊃∩Gπ-|vrα,mw⊗k∃∃∩Jα-E∩αVm}&k∩∃∃⊂hP⊃∀ααα∧¬π"α9v&*¬
V∂ε<≥bαFn]f∨&≥⎇bαFL≥V⊗&∀¬αWB⊃Q HH⊃⊃∩αα∧∧ααα∧¬ππ⊗|⎇bαVm}&k
∃∃∩αVE∃∩JJ⊃Q Jα∧∧ααα¬W
β}lW⊗∩∧}6.f\:BHh!∀ααα∧∧ααF=⎇f"α¬,f␈⊗V!PPJ↓∃ε≡}LTαGπ-|vrα
\↔ε≡≥dαF7]l7&N⎇dαFF≥\&&
¬¬'BHQ!⊂HH⊃⊃∩F∞l@αV6}-S
α
I↔∨"¬/αJJ∃∀αVb∀↓PPH⊃⊃⊂Jα∧∧ααα∧¬&6␈-V"JJ⊃Q HJ∧∧ααα∞DαF≡|LRαF\≡ε≡∞d¬ε7.l8

≥{H

L98Y∀λ
↑¬⊃"B"!⊃"(λ∧∧λλλ∧∧
_;LD
Y[n-,(

M<⎇λ¬/
**%∀
[
%∃**#!! B(∧∧λλλ¬∞λ


L98Y∀
∂⎇L↑XJ#!!"(λ∧¬_{{LD

YM}[,H↓QB"(∧∧λ
_m|→(
∞∞[y{D¬∂⎇Y.H
→N]X⎇~-⎇H
≠≥8Y_$¬
↑
$¬Y[|MV**(¬-
(
Lm|[,E∃*#"A⊃ (
∞A ¬∧DH⊂⊂⊂∀_wr2P
≥{2y_⊂∀3:[1z4w[⊂∀60[q20P
∃<∀P
37y6LTTP∃≠∀P∀TJTPεEαDP⊂∀_ww2⊂
∀2x@∂{2y1λ∪r7TH∪vpx_TFE∧BDT:⊂	vpx1Xy∀TTJTTPεB⊂⊂∃3≠y6P7~v∀TFB⊂εE∧S`ai'H;tz4λ0P80\2w:4→yt⎇2Y⊂70vYP;tv≠⊂1y2Xz2P0H1wvx~v0q6→P6pq\5P0v_P&`aT'b"cεEβ∧DP⊂λ#:y:~2y⊂&Pai'WS`aa'Q c⊂3→pz:i→yFE∧BP⊂⊂⊗KVVVVKP⊗VVKVVVVKVVVVKP⊗VVKVVVVCEεE∧H⊂*42\2P0y→P⊂9w[rP⊂0Y24z4[w0v⊂λ32pz≥y2yPλ0yywXtpz2Y⊂⊂;t]4εE⊂λ⊂⊂⊂:~2yrP≠pqy7H⊂22s~w4z4[w⊂⊂3_qtv4]4ryWλ#4y9]⊂⊂7cλ⊂0v6⊂⊂77\6pvεB⊂⊂⊂⊂λ6pqi≠P2|8_w9tg[⊂4yPλ22yz≤8qz4]2]P*~0z⊂$\β,  The f@=aR@A
CkgS9N~∀@@@A[¬Ge↑A∃qaC]MS←\A%`
βπ∨#Wπ3gIβK↔∧cπ∂↔ ↓#[πλαJB∩~¬βπv!αJBd
∞⊃$hQ↓↓↓αβO=β&CπQβ&C∃βO.∪OπG,∧Vw"∞↔∨≡↑4αε␈lZ"π&Tε≡}LTε&}↑4εv␈D∧ε≡∂↑<PhR∧∧ααπ,UV/G≥g≡N⎇ebαα	
w>/lZ"bα∧∞6.≡⎇lFgJD∧αεNd∧αU∃8ZBαα
@λ∧∧≠;yUβ"H∧∧λλ→↑⎇≤],>~=Y$>≤_-nz;{D
<hλ
≥Z~0⊃~z2r, so  while DEBUGging  or
     STEPpifg0A←]J↓GC\AMKJAE=iPAi!JAGC1XA←\↓iQJA5CGe↑↓C]HA=\@Ai!J~)α↓↓↓β-CCπlLV"ε=x	UA"C!!(λ∩-d_9→
≡~;sEDλ~1D∧≥~→${≠pL≥λλ∃L≡X∧pq≠2P⊂)PhεE-MACROS  i`&4⊂@@@A]O\5]SHX↓iQK\αβS#∃ε{@⊗N⎇→f∞biwε@(_;LD~=≤d>≤_-nz;sD<Y(∞>≠|Y,A Hλ∧∧λ≤sm\α{t2\2P9gH:40zλ∀*g!Pg∀P 7ill Un-expand @¬YPA[¬GeO@~p4(Q!∩ααTX4d|((U∩lX_5∀⎇4TRπ>≥IBαε<≡W≡*∧λF/∨N.V∨&≡hRαε\≤7ε@|hλ∞MβFE⊂λ⊂⊂⊂2→yz97↑P92sXy262\βs o@_@U%M(\4P0$∧HJ6ε∞-@4(⊃⊃⊂JJUQRhh!Q Jα	X∀≤-¬Dαε
∧∧∧4-λ∧∀EDλλ⊃/∞→8p~≤β  an   EREAD   sty@1J@@Aα3'3∀hQ↓↓↓αβ@∨ε\8
,@4qpz~ww⊂ \β its arguma`≥h↓C]H@↓aeOIUG@↔M∧	β≠πd)β←'&A↓βπd¬@hR∧∧ααε=mw>r
\⊗∨⊗βx	P→|80w→2r⊂ !pεABAβ≠'&Tλ	,@32q`4,∧A)Q∀AKqi∃]gS←αqβ >dλ

 εE⊂λ⊂⊂⊂ &ile Ppkde@
K@@A%`
↓↓t*bA↓∧{9↓β&C∃↓β∞c'πO,∧BαεM_L\⎇≠p→≡Tε  MACEH
λ∧@@@ACi@&+7CS~βS :∞Yf&/,8
≥Yλ∀HZ524HT|kλ∧]=⊂~yP77]⊂3p∃@¬aC@;&+↔↓↓∧εFxh$∧ααα∞⎇w-h~0↔λ0r6⊂~0p	`%dAGC@≤∧W
@H⊂ ⊂≥0qz4XP:y`%d¬`↔⊃∧¬⊗rπ>Xλm∧_x<l↑h~0→H:7FEλ⊂⊂⊂⊂∪`ablλ:42P→αide(q) i@8AckKβ≠S'∨pβ⊂↔⊗⎇Pλ∞⎇=~~-d_(⊂⊃[y2P4[psrPλ;tz4βE⊂⊂⊂λ⊂:42H34v"J9P	  lh∂CI∃H@AC9H@Ao%iPAC1X@Ai!JA[C
eP∨Mαβ∪↔≠Ls↔↓⊃αβ?_∀R↓↓↓↓ε≠?WK≤∧RJ@H⊃+LuH
∪(_q6⊂⊃'gP!⊂i⊂")RP⊂ dQ⊂)(#JTWεEβ∧DDPλ⊂⊂⊂⊂λ)"`⊃UIRE
		↓       -------¬

	  REQUIRE is  a FEXPR  taciNe  adile  specification  and
     hav@%]NAi!JAKM→KGh@↓←LAgAYSGS9J@Ai!ChAM%YJAgQeKCZAS\A¬h@Ai!J~∀@@@Aa=S]hAα{⊂∩ε<≥Fbr∧λ⊗∨'\≥FgJD
$-
Y~$*α∞∞W≡F↑4π&FT∧π∨&≡LRε}d∧π&FQQ"αα∧∧ε6NLTε␈ε]`ε}r∧6F∞mlVbβ5D¬¬∀→jBl-h→Bm∀X_G~α\⊗≡Bmw⊗j
→bαπMPhR∧∧ααεm→F*ε⎇≡f.r/∩εON4αε∂,}Vn.nN2bε≥lBε6≥l⊗fgα(λ∞
|≤h,8zh∞MβP⊂:~2FE⊂λ⊂⊂⊂7[2⊂34[2W⊂⊂∪2yz4[3P:7H→→P⊂≠2{2f≤P4yP≤2y6t]82r⊂
)`dfλ⊂6ww~z7yεB⊂⊂⊂⊂λ92yz≤4qz4[w∀W⊂∀"hjdT"P⊂6≠wuyPλ0z⊂⊂≥42P;_v:rPλ7s⊂⊂≥42P⊂→v7q0[εA⊂⊂λ⊂⊂;0\4pq6→P)"`Q⊗⊂0w→⊂:yb\P:42H3:w1]4ww⊂≤7tw:→r⊂:7H90z4→y⊂⊂:~0wεEλ⊂⊂⊂⊂∀"`b~s⊂4jλ4yP7≠w⊗w4[↔⊂⊂⊂∃42P3~v2P9\2qts~qpz4[w⊂4yH:42Pλ9pvrCE⊂⊂⊂λ⊂0yP≥40z expected by EREAD.

↓  IJPUSH is a FEXPR which takes a fiLe specification  and
     pushes the state od the file open on channel 3 and popπSiS=]f~∀@@@AQQJAe∃C@Aa=S]iKHAi↑@↓iQJA→Segh↓]←\[∀@AISIKGi←IrASi∃ZAS\AiQJ4∀@@@AMSY∀AgaK
SMSK⊂\A)Q%fAMk9GiS←8ASfAUgKHA	rA%E+∪%
8~∀
∀$@A∪≥A∨ ASLAC\@↓1!$↓←L@A9↑ACe≥k[K]Qb@Ao!SGPAIKgi←IKf@AQQJ~∀@@@A→SYJAMiCiJ↓iVAi!ChAUUghAC→iKdAQQJAa=S]hA=H	β∂∞c1β?2βS#∃αβ3πO h)↓↓α↓α&:¬*N!α-2ε3↔"q↓αSFKE↓β7+;∂SN{9↓βO→βWO.!↓βJ↓αJ⊗
*&J∃r↓αS#/≠∀4)α↓↓↓β7+;∂SN{;Mβ∂∪∃β'rα>2∩Lyβ?;gI84(0$$HJ∩&J,~P4(HH$%5ji554hP4(%αα∩&J,~Qβ'~βπ9α-BBIβ}1βS←zβπK∨,k↔;S~qαS#*β∪'K≥!↓βπ⊗;W7↔w 4)↓α↓↓β'~β¬βC⊗{+↔∂ aβπ; βS#∃π≠↔∂?v!β'Mε	βCK};Kπ↔n+I9α&C∃βK/≠W3Qαβ'L4R↓↓↓↓ε	β3'∨!β?→∧3'3↔~β'9β&C∃↓β&KK↔∂&{Keβ∨β↔∂'4¬⊗."/∩π&Tππεe`α∧6|!PRα∧∧αε/≥WεFUDαD∩4Q(~α⊂∪`Rb⊂⊂∪T(#TP≤2z:`2ns a lisT sucH as 44∀∩∧∩ QKISP@↑bbLR@@#|επ&N⎇`π'GE∃bbr⊃Q hPα(λλI4H∩.P0P#⊃l() taci@9JAKSβ##↔I∧∧∩ε7]H∧∞≤≠@∞x2qVλ5:y`4  the
     project0AWd@↓]↑@AAaT@AMaKF@↓C]HAAKeM←β∪7M↓∧	↓α∩M∩⊗∞Qαβ?9↓¬##∀∀R↓↓↓↓π≠C↔∂L3'↔⊃∧#'K↔≥#?Kepα'2
mrαπ∞-v/⊗≥]V/∩
~2πε\8
,@4rr, the  the
     logged iN  proerammer iS  ac@Mk[KH8@A∪L↓]↑@AMaKGSα3'∂π&K?9↓∧K@_h$∧ααα⎇↔6.eDπ&F]`λ∞M→(⊂-M8<p∩Y⊂88'λ4yP \βsumed.¬

λ	  UGREAT is a BE@1A$AiC-S]N@↓iQeK∀ACeOU[K@;'→aβ¬∧∧fNfT∧εv∞β9#!$λλλ∧¬≠[h←≥→;N≥8πw∧K⊂0P 0pojeCt, and a @AeP∨∨⊗77↔⊂aβπ≠ ∧π⊗/NXMnh≥~Q ¬⊂⊂λ⊂⊂44Yt2yjλ⊂7:vX2y2rλ⊂2|:→w9t`/n  fop  that  File  naee  in  the
     direCtkry pπaKG%ISKH8A≥NAα#↔π,¬G&Nlpλ
≡h≤⊂∩\37y6Yr∪εEβ∧@DDH⊂"bεB∧@DDH⊂∩VFB∧A∧Pλ"j⊂ )pεAC\αα2εB¬⊃β↔c∧∧V∨&≥lrαε∀λ	M≥→(≤n8z0∪~qpz4[w⊂0w→⊂⊂:;[FE⊂⊂λ⊂⊂7h≥4ww0[⊂0y3]vrw:≤T∧ aAaCO∀AUk[	Kd@A¬]HABAYS]∀AUk[	Kd\@↓)QJ~(@@@@↓ISIJ↓`∂C↔≤K⊂⊗N<≡FN}dλ
.P7s⊂≥42P#≠y2P∀→4v2P→|:⊂∀≤⊂87∧JP0w2λ⊂0v ,
     bu@PAiQJ↓H'∪esignated  page and line.  If no line  is
     given, the top of the page is assumed; if no page is  given,
     page 1 is assumed. αXrun (α = control) causes the Maclisp to
     be resumed.
				 MAIL
				 ----

	  MAIL is a FEXPR expecting two arguments, a  destination
     and  a  message.   The  destination  is  an  atomic   symbol
     specifying a  programmer (i.e.  RPG) and  the message  is  a
     string (i.e.  |Hello, Ralph|  or  "Hello, Chump").   If  the
     message or  both arguments  are  missing, MAIL  prompts  for
     them.  MAIL uses the MAIL  phantom, and so does not  deliver
     immediately (neither does the Post Office, though).

	  Note that the arguments  to MAIL are EVALed  internally
     unless they are prompted for!
			 Line Editor Loading
			 ---- ------ -------

	  INITED is an EXPR of no arguments which initializes  an
     internal buffer (must be done initially)

	  ADDED is an EXPR of two  arguments, a form and a  flag.
     If the flag  is nil, then  the form is  put in the  internal
     buffer without slashifying special  characters. If the  flag
     is non-nil, special characters are slashified.

	  LOADED is  an  EXPR  of no  arguments,  and  loads  the
     contents of the internal buffer into the line editor.